Re: [Haskell-cafe] Question about the Monad instance for Iteratee (from the enumerator package)

It's forbidden for an iteratee to yield extra input that it hasn't consumed; however, this is unfortunately not enforced by the type system.