haskell - servants - fate stay night - edu.lat

¿Cuál es la extensión DataKinds de Haskell? - edu.lat

haskell - ¿Puedo proporcionar al comprobador de tipos pruebas sobre los productos naturales inductiv