Doesn't compile yet.

This is somewhere in Flow.hs in types for ConduitT () a m ()
where m monad is IO.

This turned out to be quite heavy because of module import cycles.