如何使用Python 3.5类型提示检查函数是否是正确的Callable

Question

我想做这样的事情：

prototype = typing.Callable[[str, str, typing.Optional[int]], str]

def func(a: str, b: str, c: int=5) -> str:
    return 'foo'

this_is_kosher(func, prototype)  # True

有没有办法实现这个目标？

编辑jacob：

考虑：

def foo(a: str) -> str:
    return "hello"

对我来说，this_is_kosher(foo, prototype)返回True，但prototype有第二个必需的str参数。