Order preserving work queue machine "ProcessT m a b -> SourceT m a -> SourceT m b" where order is preserved