mercury/extras/quickcheck/tutes
