T10267.hs:8:1: error:
• Found hole: _ :: a0
Where: ‘a0’ is a rigid type variable bound by
the type signature for:
j :: forall a0. a0 -> a0
at T10267.hs:8:1
• In the expression: _
In an equation for ‘j’: j x = _
• Relevant bindings include
x :: a0 (bound at T10267.hs:8:1)
j :: a0 -> a0 (bound at T10267.hs:8:1)
T10267.hs:8:1: error:
• Found hole: _foo :: a0 -> a0
Where: ‘a0’ is a rigid type variable bound by
the type signature for:
i :: forall a0. a0 -> a0
at T10267.hs:8:1
Or perhaps ‘_foo’ is mis-spelled, or not in scope
• In the expression: _foo
In an equation for ‘i’: i = _foo
• Relevant bindings include i :: a0 -> a0 (bound at T10267.hs:8:1)
T10267.hs:14:3: error:
• Found hole: _foo :: a -> a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
k :: forall a. a -> a
at T10267.hs:14:3
Or perhaps ‘_foo’ is mis-spelled, or not in scope
• In the expression: _foo
In an equation for ‘k’: k = _foo
• Relevant bindings include k :: a -> a (bound at T10267.hs:14:3)
T10267.hs:23:3: error:
• Found hole: _ :: a
Where: ‘a’ is a rigid type variable bound by
the type signature for:
l :: forall a. a -> a
at T10267.hs:23:3
• In the expression: _
In an equation for ‘l’: l x = _
• Relevant bindings include
x :: a (bound at T10267.hs:23:3)
l :: a -> a (bound at T10267.hs:23:3)