blob: c9df22b056c4b69776ae5468592d3bf5ee8b8cac (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
<interactive>:2:10: error:
• Found hole: _ :: f a
Where: ‘f’ is a rigid type variable bound by
the inferred type of it :: Functor f => f (Maybe a)
at <interactive>:2:1
‘a’ is a rigid type variable bound by
the inferred type of it :: Functor f => f (Maybe a)
at <interactive>:2:1
• In the second argument of ‘(<$>)’, namely ‘_’
In the expression: Just <$> _
In an equation for ‘it’: it = Just <$> _
• Relevant bindings include
it :: f (Maybe a) (bound at <interactive>:2:1)
|
