* TypeRep.lhs and TypeRep.lhs-boot didn't agree on their signatures (SuperKind vs...