Re: [GHC] #4482: Allow type variables to be instantiated as a typeclass