QCheck easier to use, with printing combinators module
and simpler ('a -> bool) properties