A nice way to define field validations in Haskell.