can't this be `[+K, +V]`? That would be nice.