wip/hs-QuickCheck
