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