TcSimplify.lhs 25 KB