> *Main> let c = someCounter 0 > *Main> draw c > 0 > *Main> let c' = increase someCounter > *Main> draw c' > 1 Sorry, the example should have been: *Main> let c = someCounter 0 *Main> draw c 0 *Main> let c' = increase c *Main> draw c' 1 Greetings, Daniel