from inspect import signature
from functools import wraps


def typeassert(*ty_args, **ty_kwargs):
    def decorate(func):
        if not __debug__:
            return func
        sig = signature(func)
        bund_types = sig.bind_partial(*ty_args, **ty_kwargs).arguments

        @wraps(func)
        def wrapper(*args, **kwargs):
            bund_values = sig.bind(*args, **kwargs)
            for name, value in bund_values.arguments.items():
                if name in bund_types:
                    if not isinstance(value, bund_types[name]):
                        raise TypeError('Argument {} must be {}'.format(name, bund_types[name]))
            return func(*args, **kwargs)

        return wrapper

    return decorate


@typeassert(int, int,int,int)
def add(x, y,m,n):
    print(x, y)
    return x + y