"hand written instances" test1 test2 test3 test4 test5 test6 test7 test8 test9 test10 test11 test12 test13 "derived instances - tuples" test21 test22 test23 test24 test25 "derived instances - datatypes" test30 test31 test32 "random assortment" test100 test101 test102 test103 test104