wip/hs-QuickCheck1
