just used (gen/fmap not gen/boolean) to get a boolean that shrinks to true
(gen/fmap not gen/boolean)
true