added tests for xIsMaybe, and other monad function tests