[Haskell-cafe] Equality constraints in type families

Manuel M T Chakravarty chak at cse.unsw.edu.au
Wed Mar 26 05:12:55 EDT 2008


Hugo Pacheco:
> Since I was the one to start this thread, I have managed to  
> implement what I initially wanted as F a :: *->* with F a x::*, and  
> the cost of not having partially applied type synonyms was not much  
> apart from some more equality coercions that I wasn't expecting.
[..]
> Generally, I love type-indexed types.
Glad to hear that!

Manuel



More information about the Haskell-Cafe mailing list