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