Data.Traversable
class Traversable t