Control.Concurrent.SimpleSession.Implicit
data Session s s' a
data Cap e r
io
send
recv
close
sel1
sel2
offer
enter
zero
suc
class Pop s s'
data Rendezvous r
newRendezvous
accept
request