blob: 54c12f76f7326f5f467794524e8ed7a9288768ac (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T7368.hs:3:10: error:
• Couldn't match kind ‘* -> *’ with ‘*’
When matching types
b0 :: *
Maybe :: * -> *
Expected type: a0 -> b0
Actual type: c0 Maybe
• In the first argument of ‘b’, namely ‘(l Nothing)’
In the expression: b (l Nothing)
In an equation for ‘f’: f = b (l Nothing)
|