equality operators on types

[bearophile]

Timon Gehr:

> Why not allow equality operators to operate on types?

That's nice, of course. But is it possible?

Bye,
bearophile