Validation library based on type combinators - View it on GitHub