AP
Size: a a a
AP
AP
AP
[
AP
AP
AP
AP
[
AP
AV
data Conduit i o r where
Await :: Conduit i o (Maybe i)
Yield :: o -> Conduit i o ()
await :: Member (Conduit i o) r => Eff r (Maybe i)
await = send Await
yield :: Member (Conduit i o) r => o -> Eff r ()
yield = send . Yield
AV