Re: [GHC] #12708: RFC: Representation polymorphic Num