#88 refactoring Monad: move functions from Handle module