blob: 258fc08607a748ea1872eaa58a0253c316a3696c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
T16326_Fail4.hs:6:30: error:
• Illegal visible, dependent quantification in the type of a term:
forall a1 -> Maybe a1 -> Maybe a1 -> Maybe a1
(GHC does not yet support this)
• In an expression type signature:
forall a -> Maybe a -> Maybe a -> Maybe a
In the first argument of ‘zipWith’, namely
‘((<>) :: forall a -> Maybe a -> Maybe a -> Maybe a)’
In the expression:
zipWith ((<>) :: forall a -> Maybe a -> Maybe a -> Maybe a) xs ys
|