Coroutines.hs

import Control.Monad

type Reciver a = [a] -> IO ()
type Sender  a = [a]

sender :: Int -> Sender Int
sender n = n : sender (n + 1)

printer :: Show a => Reciver a
printer = mapM_ print

ignore :: Reciver a
ignore _ = return ()

growth :: Show a => Reciver a
growth = mapM_ (putStrLn . concat . (replicate 2) . show)

split :: [Reciver a] -> Sender a -> IO ()
split recvers [] = return ()
split recvers (x:xs) = forM_ recvers (\r -> r [x])  >> split recvers xs

main = sender 1 |> take 10 |> split [printer, ignore, growth]


x |> f = f x