A correct implementation of the list monad-transformer. Useful for basic
streaming.