Here's a trivial example of what I'm looking for. Suppose you want a function that returns an iterable of the same type as x for each argument x to the function. So without type signatures, it looks like this;
def trivial(*args):
return tuple([[arg] for arg in args])
How would I type a function like this? Is this supported?