comments for Applicative and Traversable