T12589.stderr 517 Bytes
Newer Older
Ryan Scott's avatar
Ryan Scott committed
1

2
T12589.hs:13:3: error: Variable not in scope: (&) :: t1 -> t0 -> t
3 4

T12589.hs:13:5: error:
5
    • Cannot instantiate unification variable ‘t0’
6
      with a type involving polytypes:
7 8 9 10 11
        (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)