`TypedA<Int>` is just `A` after compilation
# announcements
a
TypedA<Int>
is just
A
after compilation