I believe this could be placed right in the `Control.Monad.Trans.Iter` too.