enforce increment type-safety on the server