A library for testing monadic code in the spirit of QuickCheck - View it on GitHub