let Set = ../../../Category/Set/rig

in  λ(a : Type) →
      ../../../Monad/impliedMonoidalFunctor
        (λ(b : Type) → Set.additive.product { _1 = a, _2 = b })
        ( ../endo/star
            (../../../Identity/Type Type)
            ../../../Identity/functor/monoidal
            a
        )
        (../../monad a)