Extract some exercise in its own module
beginning playing with quickCheck
some other tests