Restructured cont_monad