It works on a preliminary level. Haven't tested *args, **kwargs, and how type checking/bubbling will work with those.