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