blob: eaa4c079093a23c83b61444ce0d72f0fb24b6559 (
plain)
1
2
3
4
5
6
7
8
|
PolyKinds04.hs:5:16:
Expecting one more argument to ‘Maybe’
The first argument of ‘A’ should have kind ‘*’,
but ‘Maybe’ has kind ‘* -> *’
In the type ‘A Maybe’
In the definition of data constructor ‘B1’
In the data declaration for ‘B’
|