blob: 3f380e47a4ba7fce26a7866b382ed1437f146ee1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T12589.hs:13:3: error: Variable not in scope: (&) :: t1 -> t0 -> t
T12589.hs:13:5: error:
• Cannot instantiate unification variable ‘t0’
with a type involving polytypes:
(forall a. Bounded a => f0 a) -> h0 f0 xs0
GHC doesn't yet support impredicative polymorphism
• In the second argument of ‘(&)’, namely ‘hcpure (Proxy @Bounded)’
In the expression: (&) minBound hcpure (Proxy @Bounded)
In an equation for ‘a’: a = (&) minBound hcpure (Proxy @Bounded)
|