RepPolyRule3.hs:17:57: error:
    • The argument ‘x’ of ‘g’
      does not have a fixed runtime representation.
      Its kind is:
        TYPE (F 'WordRep)
      (Use -fprint-explicit-coercions to see the full type.)
    • In the expression: g x
      When checking the rewrite rule "g_id"

RepPolyRule3.hs:23:52: error:
    • The argument ‘x’ of ‘h’
      does not have a fixed runtime representation.
      Its kind is:
        TYPE (F 'WordRep)
      (Use -fprint-explicit-coercions to see the full type.)
    • In the expression: h x
      When checking the rewrite rule "h_id"