Implement wildcard expansion in nested tuples/constructors