Let's create a parser that consumes no input and produces a given value.

value :: a -> Parser a
value a = P (\s -> Just (s, a))

This parser always succeeds (Just).