But type systems are about what you can express wi...

# random

[mp]

But type systems are about what you can express without casts. It's pretty boring to say what you can do with casts.