eqT -package:ghc-lib-parser

Type equality
Type equality comparing both visible and invisible arguments, expanding synonyms and respecting multiplicities.
Compare types with respect to a (presumably) non-empty RnEnv2.
Type equality on lists of types, looking through type synonyms
A synonym for triangle, provided for backwards compatibility.
Type of the equation, living in same context as the rhs.
Can be reduced eagerly.