A small Haskell combinator library that provides a simple way of validating user provided data structures.