if you wanted full type classes there'd have to be...
# announcements
m
if you wanted full type classes there'd have to be a way to define an autocast operator function, indeed