blob: 0f18dd41af5078b4cd456c6bb3d65a163366c836 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
T7264.hs:13:19: error:
• Couldn't match type ‘a’ with ‘forall r. r -> String’
Expected: a -> Foo
Actual: (forall r. r -> String) -> Foo
Cannot equate type variable ‘a’
with a type involving polytypes: forall r. r -> String
‘a’ is a rigid type variable bound by
the inferred type of mkFoo2 :: a -> Maybe Foo
at T7264.hs:13:1-32
• In the first argument of ‘mmap’, namely ‘Foo’
In the expression: mmap Foo (Just val)
In an equation for ‘mkFoo2’: mkFoo2 val = mmap Foo (Just val)
• Relevant bindings include
val :: a (bound at T7264.hs:13:8)
mkFoo2 :: a -> Maybe Foo (bound at T7264.hs:13:1)
|