type t
Represents the imperative state associated with an application, typically used for housing state associated with communicating with the outside world, like an Async-RPC connection.