It's not anywhere close to that. There's a tiny expression where we override the type system, but everything else in the program is still statically typed, and

It's not anywhere close to that. There's a tiny expression where we override the type system, but everything else in the program is still statically typed, and we get to avoid all the complexity of generics.