new combinators (infix map, applicative funs, shuffle)
Arbitrary.fix_fuel, to generate complex recursive structures