I'm not sure where this should go, but it would be nice to have a ValueOf instance for non-empty tuples, perhaps defined like

given nonEmptyTupleValueOf[H: ValueOf, T <: Tuple: ValueOf]: ValueOf[H *: T] = ValueOf(valueOf[H] *: valueOf[T])