:: (a -> IO b) -> DirTree a -> IO (DirTree b) -package:ghc -package:lens package:fixed-vector

Effectful map over vector.
Analog of traverse from Traversable.
Monadic map over vector.