Testing the set monad and the extension methods added from the monad combinators.