let cat = ../Category/Cat/semigroupal

let vObject = Type

let Set =
      ../Category/Monoidal/Cartesian/extractMonoidal
        cat
        vObject
        Type
        ../Category/Set/monoidal/cartesian

in  λ(a : Type) → ../Monoid/extractSemigroup Type Set (List a) (./monoid a)