Re: [xmonad] How do you test ManageHook using QuickCheck?