Traversable instance for FT