summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T11459.stderr
blob: 724395ecd7d8e359c45e17b81d38fa2b5c16297e (plain)
1
2
3
4
5
6
7
8
9

T11459.hs:9:20: error:
    • A newtype constructor cannot have existential type variables
      Parser :: forall a {k}.
                (forall (f :: k -> *) (r :: k).
                 Failure f r -> Success a f r -> f r)
                -> Parser a
    • In the definition of data constructor ‘Parser’
      In the newtype declaration for ‘Parser’