pub trait Session: Sized + Send { type Dual: Session<Dual = Self>; }
Trait for session types. Provides duality.
The session type dual to Self.
Self