Hm, yes I meant `((Rep[K], Rep[V])) => Rep[Unit]`. Which version do you prefer?