Tubes
data TubeF a b k
type Tube a b m r
type Source b m r
type Sink a m r
type Action m r
lift
runFreeT
await
yield
awaitF
yieldF
each
for
(~>)
(>-)
(><)
run
liftT
cat
map
drop
take
takeWhile
filter
reduce
every
unyield
prompt
display