Re: [GHC] #12088: Promote data family instance constructors