Doesn't compile yet. This is somewhere in Flow.hs in types for ConduitT () a m () where m monad is IO.