T14561b.hs:12:9: error: [GHC-55287]
    • Unsaturated use of a representation-polymorphic primitive function.
      The first argument of ‘coerce’
      does not have a fixed runtime representation.
      Its type is:
        a :: TYPE r
    • In the expression: coerce
      In an equation for ‘badId’: badId = coerce