3 ms·decrement is not O(n) in practice just as addition is not horribly slow when defined in idrisby setra 10y agodecrement is not O(n) in practice just as addition is not horribly slow when defined in idris