Applicative validation

[nikita-volkov]

Having a type, which wraps a -> Result e b and has an Applicative instance, should allow to circumvent the awkward conditions combinator and generally enhance the validation facility. I.e.:

newtype Parser a b =
  Parser (a -> Result e b)