but you can't ever say: here's a generic function,...
# announcements
m
but you can't ever say: here's a generic function, and some T that is Traversable.