blob: 68375400a87ee552017eff40e6e594b49c9445df (
plain)
1
2
3
4
5
6
7
8
9
|
T11355.hs:5:7: error:
• Illegal polymorphic type: forall (a :: TYPE t0). a
GHC doesn't yet support impredicative polymorphism
• In the expression:
const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
In an equation for ‘foo’:
foo
= const @_ @((forall a. a) -> forall a. a) () (id @(forall a. a))
|