I am trying to write a function that takes two parameters: a variable, and a (non built-in) type. I would like the type-check (using mypy) to fail if the type of th
mypy