Re: [GHC] #11427: superclasses aren't considered because context is no smaller than the instance head (was: TypeSynonyms not deduced)