3 ms·I thought "Extension" in this example is a Monoid. So maybe foldContramap? :)by pka 11y agoI thought "Extension" in this example is a Monoid. So maybe foldContramap? :)