def infer_type_from_sequence(seq):
    stack = TypeStack()
    for type in seq:
        type.put_on_stack(stack)
    return stack.form_type()
def infer_type_from_sequence(seq):
    stack = TypeStack()
    for type in seq:
        type.put_on_stack(stack)
    return stack.form_type()