eqType :: Type -> Type -> Bool
-- ^ Type equality on source types. Does not look through @newtypes@ or
-- 'PredType's, but it does look through type synonyms.
-- Watch out for horrible hack: See Note [Comparison with OpenTypeKind]
eqType t1 t2 = isEqual $ cmpType t1 t2
eqType :: Type -> Type -> Bool
eqType t1 t2 = isEqual $ cmpType t1 t2
eqType t1 t2 = isEqual $ cmpType t1 t2