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