[paulddraper]

The innovation is making that have zero runtime cost. (Though to be fair, I doubt the runtime cost is really significant...)

[skavi]

Their suggestion is also zero runtime cost.

[jibal]

That's very odd response if you know what a type system is.