OkP :: a -> ParseResult a  -- data constructor