WIP demonstrating monadic style possible with redefined should and shouldNot, as well as flipped (for example) haveSelector