eqT package:ghc
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
Like pickyEqTypeVis, but returns a Bool for convenience
Check whether two TyConApps are the same; if the number of arguments
are different, just checks the common prefix of arguments.
Just like
tcEqType, but will return True for types of different
kinds as long as their non-coercion structure is identical.