I don't get it --- the left side is a 3-tuple and the right side is a 1-tuple. Also `String <: Type` should of course be false.

Tuples are the only types for which `length` is applicable, so that looks ok to me.