testsuite/tests/polykinds/T11459.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE  PolyKinds, RankNTypes #-}

module T11459 where


type Failure f r   = String -> f r
type Success a f r = a -> f r

newtype Parser a = Parser {
      unParser :: forall f r.
                  Failure f r
               -> Success a f r
               -> f r
    }