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