Fair enough; I knew do notation was sugar for bind, but I didn't realize/forgot about the time traveling monad. Follow up questions bc I'm still a Haskell noob

Fair enough; I knew do notation was sugar for bind, but I didn't realize/forgot about the time traveling monad. Follow up questions bc I'm still a Haskell noob: Do you know if async/wait from Control.Concurrent.Async ensure linear sequencing? Could the sequencing problem be solved if linear types make their way into Haskell? (They seem to mainly be about memory management, but I'm not sure about other potential applications)