Re: [Haskell-cafe] Equality constraints in type families

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