If you have Foldable1[F], foldMap1 and foldRight1 are nonstrict and significantly more efficient.
Foldable1[F]
foldMap1
foldRight1