Clarifies that Validation is not a Monad (fixes #6)