blob: 28104625e13d838031232756b2f06e72dba55dcb (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
T11976.hs:7:7: error:
• Cannot instantiate unification variable ‘a0’
with a type involving foralls: Lens w3 w4 w5
GHC doesn't yet support impredicative polymorphism
• In the expression: undefined :: Lens _ _ _
In an equation for ‘foo’: foo = undefined :: Lens _ _ _
• Relevant bindings include
foo :: Lens w w1 w2 (bound at T11976.hs:7:1)
T11976.hs:7:20: error:
• Expected kind ‘k0 -> *’, but ‘Lens _ _’ has kind ‘*’
• In the type ‘Lens _ _ _’
In an expression type signature: Lens _ _ _
In the expression: undefined :: Lens _ _ _
• Relevant bindings include
foo :: Lens w w1 w2 (bound at T11976.hs:7:1)
|
