subtract package:lens

subtracting n = iso (subtract n) ((+n)
subtracting n = from (adding n)