blob: 1485c88084fb6027503ffc49477570b46cce4067 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T7368.hs:3:10: error: [GHC-18872]
• Couldn't match kind ‘*’ with ‘* -> *’
When matching types
b0 :: *
Maybe :: * -> *
Expected: a0 -> b0
Actual: 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)
|