effects/channel

recv ∀ 't0 . 't0 / { Channel<'t0> }

send fn(msg: 't0) -> () / { Channel<'t0> }