blob: 7172d4aa503335ad9acd36782a8c05f185cfadf9 (
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-10
‘a’ is a rigid type variable bound by
the inferred type of it :: Functor f => f (Maybe a)
at <interactive>:2:1-10
• 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)
|