blob: e57c3c167282324b2445af4490c4549a78781437 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
tcfail182.hs:9:3: error:
• Couldn't match expected type ‘Prelude.Maybe a’
with actual type ‘Maybe a0’
NB: ‘Maybe’ is defined at tcfail182.hs:6:1-18
‘Prelude.Maybe’
is defined in ‘GHC.Maybe’ in package ‘base-4.13.0.0’
• In the pattern: Foo
In an equation for ‘f’: f Foo = 3
• Relevant bindings include
f :: Prelude.Maybe a -> Int (bound at tcfail182.hs:9:1)
|