Hugo Pacheco:
Anyway, do you think it is feasible to have a flag such as -fallow- unsafe-type-families for users to use at their own risk? (supposing we know how to guarantee these constraints).
Sorry, but it doesn't seem like a good idea to enable an unsound type system even by an explicit option.
Manuel _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
