more mixed instances
Traversable