- IO: data type for encoding synchronous and asynchronous side effects as pure values.
- Fiber: the pure result of a Concurrent data type being started concurrently and that can be either joined or canceled.
- Resource: resource management data type that complements the
- SyncIO: data type for encoding synchronous side effects as pure values.
- Timer: a pure scheduler exposing operations for measuring time and for delaying execution.