The Differential Privacy Type Checking of Zhang and Kifer [ZK17] can be extended in many ways; either with new features or with relaxations and more fine-grained typing rules.