How can we maintain easy generics in the face of demand for a “safe” language?

[goerz]

@Benny

Annotating a return type usually ends up as a convert step

Ah, right, I forgot that return type annotations are convert statements, not type checks, making them much less useful.