Updated Proposal: Revisiting Implicits

I guess it’d look somewhat like this.

given t3 as [T, U, V] => (Show[T], Show[U], Show[V]) ?=>  Show[(T, U, V)] {}