blob: b2696d41bbd8620641fc52020a21aab66f943e02 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
T7264.hs:13:19:
Couldn't match type ‘a’ with ‘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
Expected type: a -> Foo
Actual type: (forall r. r -> String) -> Foo
Relevant bindings include
val :: a (bound at T7264.hs:13:8)
mkFoo2 :: a -> Maybe Foo (bound at T7264.hs:13:1)
In the first argument of ‘mmap’, namely ‘Foo’
In the expression: mmap Foo (Just val)
|