Re: [GHC] #8388: forall on non-* types