12.17 Traverse.foldLeft via mapAccum
12.18 Traverse.fuse
12.19 Traverse.compose