ControlledTraversal, see mapM and forM in action in one function, to continue on exercises on pg 228