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

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