Proper FSCheck generator :-)