FailP :: String -> ParseResult a  -- data constructor