haskell: add validation package