Re: [GHC] #9263: Iface type variable out of scope with default associated types and polykinds