Things to be done

Todo

end user usability

• entry-point functions for actual running (like quickcheck, check, forAll, etc.)

• smart comparison functions (like ===, shouldNotContain, etc.)

• nice violation diff printing of comparison functions

Todo

staff from limitations

Todo

explicit shuffling

Todo

support of shrinking or similar directed mutations

Todo

tuning of combinations of generators

Todo

proving or testing of laws of existing combination upon generators

Todo

co-generators or similar stuff for generation of functions; research of how this applies to dependently types functions