Make Monoid creation more generic in term of Traversal[A]. Now Set, Seq, Map... can be used as Monoids.