exponentiating n = iso (**n) (**recip n)
>>> au (coerced1 @Sum % re (exponentiating 2)) (foldMapOf each) (3,4) == 5 True