blob: e0bdaa5e8cdad76f9f5c8de7dae88a16659e56b2 (
plain)
1
2
3
4
5
6
7
8
9
|
UnliftedNewtypesLevityBinder.hs:15:7: error:
• Unsaturated use of a representation-polymorphic newtype constructor.
The first argument of ‘IdentC’
does not have a fixed runtime representation.
Its type is:
a :: TYPE r
• In the expression: IdentC
In an equation for ‘bad’: bad = IdentC
|