def f_frozenset_int(x: FrozenSet[int]): typecheck(f_frozenset_int)
def f_complicated(x: List[List[Set[Union[str, int]]]], y: Dict[Union[int, str], Sequence[Optional[int]]]): typecheck(f_complicated)
def f_list_int(x: List[int]): typecheck(f_list_int)
def f_mapping_str_int(x: Mapping[str, int]): typecheck(f_mapping_str_int)
def f_optional(x: Optional[str]): typecheck(f_optional)
def f_tuple(x: Tuple): typecheck(f_tuple)
def f_tuple_sized2(x: Tuple[int, str, Union[str, int]]): typecheck(f_tuple_sized2)
def f_tuple2(x: Tuple[Any, ...]): typecheck(f_tuple2)
def f_tuple_var(x: Tuple[int, ...]): typecheck(f_tuple_var)
def f_simple2(x: str): typecheck(f_simple2)
def f_collection_str(x: Collection[str]): typecheck(f_collection_str)
def f_collection(x: Collection): typecheck(f_collection)
def f_simple1(x: int): typecheck(f_simple1)
def f_tuple_sized1(x: Tuple[int]): typecheck(f_tuple_sized1)
def f_dict(x: Dict): typecheck(f_dict)
def f_dict_str_int(x: Dict[str, int]): typecheck(f_dict_str_int)
def f_varargs2(*xs: str): typecheck(f_varargs2)
def f_mapping(x: Mapping): typecheck(f_mapping)
def f_kwargs2(x: int, **xs: List[Union[str, int]]): typecheck(f_kwargs2)
def f_union(x: Union[int, str]): typecheck(f_union)
def f_varargs(x: int, *xs: str): typecheck(f_varargs)
def f_sequence(x: Sequence): typecheck(f_sequence)
def f_varargs3(x: int, *xs: Union[str, int]): typecheck(f_varargs3)
def f_kwargs(x: int, **xs: int): typecheck(f_kwargs)
def f_callable(x: Callable[[int, str], str]): typecheck(f_callable)
def f_float(x: float): typecheck(f_float)
def f_list(x: List): typecheck(f_list)
def f_noargs(): typecheck(f_noargs)
def f_sequence_float(x: Sequence[float]): typecheck(f_sequence_float)
def f_frozenset(x: FrozenSet): typecheck(f_frozenset)