I think we should take `kv: (K,V)` here to be consistent with create, and note that the application becomes cleaner: zero + kv.