Wolfgang Jeltsch wrote:
> Maybe it would be better to use
> something like "typealias" for type aliases, since using "type" for declaring
> type aliases is misleading anyway.
I would be happy if "type" were returned to the pool of usable identifiers.
The other name I frequently wish I could use is "default". It's frustrating
that it's reserved for such a rarely used feature. Yeah, I know, Wadler's law.
-- Ben