Minor fixes and tests to new macros of try monad.