The types in `types` should work as annotations

[KotlinIsland]

from types import FunctionType
def f(): pass
f: FunctionType = f  # error: expected FunctionType, found Callable