<div dir="ltr">Hi all,<div><br></div><div>I don't understand why Foldable is a necessary super-class of Traversable, and I suspect that the Applicative/Monoid duality, which I've just begun discovering in the literature, has something to do with why that is so.</div><div><br></div><div>Can anyone give me a hint, without giving me the answer?</div><div><br></div><div>Thanks!</div><div>-db</div><div><br></div></div>