:: (a -> IO b) -> [a] -> IO [b] package:hw-prim

Traverses the function over the list and produces a lazy list in a monadic context. It is intended to be like the "standard" traverse except that the list is generated lazily.