Demonstration code for the talk given at the Einhoven Haskell Meetup.
And here the slides of the talk: http://slides.com/volpegabriel/functional-data-validation/.
Similar examples in Scala using the Cats library: https://github.com/gvolpe/cats-functional-data-validation.