blob: f77d6457b97f831b7dca37aff1517a002537b929 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T12589.hs:13:3: error: Variable not in scope: (&) :: t0 -> t1 -> t
T12589.hs:13:5: error:
• Cannot instantiate unification variable ‘t1’
with a type involving foralls:
(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)
|