if the type of `T` can be inferred from the intend...
# announcements
k
if the type of
T
can be inferred from the intended usage, it can be omitted