blob: 26f1c251e2f5985a50c81cba62f20f70fe2a0988 (
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)
|
