Hi, 1. Minor correction for your tutorial: "reverse . reverse = id" is called the involution property, not idempotency. 2. Writing haddock documentation would definitely increase the chances for GenCheck wide adoption. -- Roman I. Cheplyaka :: http://ro-che.info/