recursion

Generic Return Type Inference: Match, Bind, Substitute

Infer concrete return types from nested tuples and generic parameters, with immutable type trees, Java and Python solutions, and runnable tests.