ParseResult.succeed