Hi Dave,

1. Type erasure is Java's only answer for genericity, which is bad for performance.

2. Java does all its type erasure one object at a time, which leads to the dreaded binary method problem.

Well, these, AFAICU, make a distinctive difference. And, the distinction doesn't stop here: For example, Java's type erasure has a nasty effect on overload resolution too.

Steven's library supports something a lot more like Haskell's implementation of generics.

Which is why I suggested calling it "staged typing"/"deferred typing". Cheers, --Hossein