How to check overloaded single dispatch with mypy

Question

I have to overload a python function with parameters of different sizes. I can do it and I can do run-time check of incorrect calls, see below. Is it possible to make mypy c