Added annotation for monad refactoring