Wed Oct 3 07:57:15 PDT 2007 Manuel M T Chakravarty <chak at cse.unsw.edu.au> * TcTyFuns.eqInstToRewrite M ./compiler/typecheck/TcTyFuns.lhs -53 +72 M ./compiler/types/Coercion.lhs -1 +1