RepPolyLambda.hs:11:5: error: [GHC-55287]
    • The binder of the lambda expression
      does not have a fixed runtime representation.
      Its type is:
        a :: TYPE r
    • In the expression: \ x -> x
      In an equation for ‘f’: f = \ x -> x