blob: e4ac034f9339451b57f31ec33f8af0257953ce9e (
plain)
1
2
3
4
5
6
|
T17687.hs:5:6: error:
• Illegal visible, dependent quantification in the type of a term:
forall a -> a -> a
(GHC does not yet support this)
• In the type signature: x :: forall a -> a -> a
|