I think: implicitly[TupleConverter[(K,V)]] would have worked here. The tupleN converters are automatically generated.  Also, gK and gV are not needed since the type bound you have above (K : TupleGetter V: TupleGetter).