Re: [GHC] #13595: Should ‘coerce’ be levity polymorphic?