Original QuickCheckM.hs