Type Definition sesh::Offer

type Offer<S1, S2> = Recv<Either<S1, S2>, End>;