define Counter (Number num)
    inc ()
    inc
        become new Counter<num.plus<One>>

    dec ()
    dec
        become new Counter<num.minus<One>>