The results are very promising: moving from ResourceT to the Identity monad brings runtime from 1541us to 409us.
A straight foldM is still faster (no conduit overhead at all), and a pure foldl' faster yet, but we're definitely closing the gap.