traverse -package:base-compat -package:case-insensitive -package:basic-prelude package:list-t

A transformation, which traverses the stream with an action in the inner monad.
Execute, traversing the stream with a side effect in the inner monad.