blob: c922e4db939ee1b124ed1559dad0c3335bb8d435 (
plain)
1
2
3
4
5
6
7
8
9
|
T11355.hs:5:7: error:
• Illegal polymorphic type: forall a. a
Perhaps you intended to use ImpredicativeTypes
• 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))
|