Control.Concurrent.Free
data F f a
liftF
hoist
retractA
retractM
foldA
foldM
foldConcurrentM
retractConcurrentIO
foldConcurrentIO