Re: [GHC] #11756: Data.Functor.Classes instances for Proxy