exponentiating n = iso (**n) (**recip n)
>>> au (_Wrapping Sum . from (exponentiating 2)) (foldMapOf each) (3,4) == 5 True