<div dir="ltr">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`?<div><br></div><div>Thanks, - Conal</div></div>