haskell-genvalidity-property