haskell-src-exts-1.24.0: tests/examples/ReadP.hs

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