<@U6V45MX46> because you may be using `inc()` over...
# announcements
r
@maxpower because you may be using
inc()
over any other type beside
Int
like I did to express your own semantics as to what increment means on a given data type