the powers of not overcomplicating type systems

this would be called "the powers of dynamic typing" but well there's haskallers here and the Y combinator is a silly example, and there is a Typed Racket example that is just as short as the Scheme one

edit:

“Zero-cost abstractions are zero-cost if you don’t abstract.” —Rust Prophet ~ stylewarning on #lispcafe