@override B foldMap<A, B>(Monoid<B> bMonoid, covariant List<A> fa, B f(A a)) => fa.fold(bMonoid.zero(), (z, a) => bMonoid.append(z, f(a)));