Re: [GHC] #12805: Generalise type of asProxyTypeOf