Extensión Haskell PolyKinds y familias de tipos.
Estoy trabajando en las familias de tipos en Haskell para profundizar en este tema y estoy tratando de usar tipos polimórficos y familias de tipos al mismo tiempo. Por ejemplo, al comienzo del archivo se tienen las siguientes extensiones de lenguaje (hay más en el archivo que no se mostrarán . . . Read more