let cat = ../../Category/Cat/semigroupal

let vObject = Type

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

in  λ(m : Type) →
      { additive : ../../Group/PartiallyOrderedCommutative/Type m
      , multiplicative : ../../Monoid/Type Type Set m
      }