exponent package:lens

exponentiating n = iso (**n) (**recip n)
Note: This errors for n = 0
>>> au (_Wrapping Sum . from (exponentiating 2)) (foldMapOf each) (3,4) == 5
True