Control.Concurrent.SimpleSession.Positional
data Session s s' a
data Cap t e r
data Channel t
io
send
recv
close
sel1
sel2
offer
enter
zero
suc
dig
swap
forkSession
data Rendezvous r
newRendezvous
accept
request
runSession