blob: 2796b1a89889a22f0459afa51482898482604326 (
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'
|