DataTypeTest rewriten with QuickCheck's generator