sesh
pub fn choose_right<'a, S1, S2>(s: Choose<S1, S2>) -> S2 where S1: Session + 'a, S2: Session + 'a,