session_types
pub struct Var<N>(_);
Recurse. N indicates how many layers of the recursive environment we recurse out of.
impl HasDual for Var<Z>
type Dual = Var<Z>
impl<N> HasDual for Var<S<N>>
type Dual = Var<S<N>>