blob: 2a8829162336eb542c197eaa6dee084c2d8455d8 (
plain)
1
2
3
4
5
6
7
|
PolyKinds04.hs:5:16:
Expecting one more argument to ‘Maybe’
Expected a type, but ‘Maybe’ has kind ‘* -> *’
In the first argument of ‘A’, namely ‘Maybe’
In the type ‘(A Maybe)’
In the definition of data constructor ‘B1’
|