1{-# LANGUAGE TypeOperators #-}
2
3newtype ReadP a = R (forall b . (a -> P b) -> P b)
4