que - ¿Cuál es exactamente el tipo "*" en Haskell?

haskell - ConstraintKinds explicado en un ejemplo super simple

haskell - Indefinido a nivel de tipo - edu.lat