It's fast and doesn't monkey-patch things.
@ensure_annotations def f(x: int, y: float) -> float: return x+y
It's fast and doesn't monkey-patch things.