TypeExtractor now also supports nested Tuple-input derivation