I’m trying to figure out how to write a decorator that passes strict type checks as well as preserve type information about the original arguments of a function.
What makes this case tricky, is that the decorator must drop the first argument of the function it is wrapping.