Use genifunctors for traversable