Learn How to Define a Generalized Monoidal Fold Function by Thomas Greco