+++ /dev/null
-"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