The type information will actually be known at com...
# announcements
d
The type information will actually be known at compile time, so it should be possible