Fri May 11 10:09:28 PDT 2007 Tom Schrijvers <tom.schrijvers at cs.kuleuven.be> * type family normalisation M ./compiler/types/Coercion.lhs -1 +101 M ./compiler/types/FamInstEnv.lhs -1 +104