eqType modulo associated types?

[Conal Elliott]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20190915/32f56dfb/attachment.html>