Implement make for monad3 relying on restarting automatically