On 21/02/2016, Augustsson, Lennart <Lennart.Augustsson at sc.com> wrote: > Foldable doesn’t have to be a superclass of Traversable. Mathematically, it is a superclass: foldMap f = getConst . traverse (Const . f)