Making signature of loop_ monadic.