@ JosephFunction annotations can be arbitrary python expressions, it is completely legal to have something like>>> def foo(bar: lambda x: x + 1):... passWhy you would want that I can't say, but it is legal. In the same way, `def foo(bar: delayed 1 + 1)` should probably be legal syntax, even if the use is inexplicable. (also note that the `:` works with lambda because lambda cannot be used as an identifier). In any case, as David said, bikeshedding.