blob: 66fb55ae4febc3e87f41f62a19f944ee2002f3d5 (
plain)
1
2
3
4
5
6
|
T14555.hs:12:34: error:
• Expected kind ‘TYPE rep’, but ‘a -> b’ has kind ‘*’
• In the second argument of ‘Exp’, namely ‘(a -> b)’
In the type ‘Exp xs (a -> b)’
In the definition of data constructor ‘Lam’
|