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