haskell-src-exts-1.9.5: Test/examples/ReadP.hs

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