fn (x:int) -> fn@(y:int, z:int) -> int
fn foo(bar: fn(baz: int) -> int) -> int
Instead of
fn foo(bar: fn(baz: int) : int) : int
fn (x:int) -> fn@(y:int, z:int) -> int