Can you be more explicit?

I think you are referring to Type.eqType in GHC itself?

I think you might want to apply FamInstEnv.normaliseType first.

Simon

From: ghc-devs <ghc-devs-bounces@haskell.org> On Behalf Of Conal Elliott
Sent: 16 September 2019 02:38
To: ghc-devs@haskell.org
Subject: eqType modulo associated types?

It looks to me like `eqType` accounts for type synonyms but not associated types. Is there a variant that compares modulo associated types, or perhaps a type normalizing operation to apply before `eqType`?

Thanks, - Conal