Delete elapsed ()
EnvT is an instance of WriterMonad