blob: 22388ddca0030a4ba9a7e0115fb2c25a9e69d27a (
plain)
1
2
3
4
5
6
7
|
T7939a.hs:7:5:
Expecting one more argument to ‘Maybe’
The first argument of ‘F’ should have kind ‘*’,
but ‘Maybe’ has kind ‘* -> *’
In the type ‘Maybe’
In the type family declaration for ‘F’
|