I was about to add that adding both a `fold` (or `ana`) and `foldMap` (or `anaMap`) seems like a good idea and could be helpful. Giving similar functionality to the Matrix API could also be helpful.