1 2 3 4 5 6
T17360.hs:11:5: error: A levity-polymorphic type is not allowed here: Type: Id a Kind: TYPE r In the type of binder ‘x’