Data.Machine.Pipe
data Exchange a' a b' b c
type Proxy a' a b' b m c
type Effect m r
type Client a' a m r
type Server b' b m r
type Effect' m r
type Server' b' b m r
type Client' a' a m r
request
respond
push
(>~>)
(>>~)
pull
(>+>)
(+>>)
absurdExchange
runEffect
runEffect_