Non-termination monad for local fixpoints