https://github.com/emil-e/rapidcheck ff6af6fc683159deb51c543b065eba14dfcf329b