let kCat = ../../Category/Cat/semigroupal

let category = ../../Category/Set/category/instance

let semigroupoid = ../../Category/Set/semigroupoid

let vObject = Type

let object = Type

let cat =
      ../../Category/Monoidal/Cartesian/extractCategory
        kCat
        vObject
        object
        ../../Category/Set/monoidal/cartesian

in  λ(m : kCat.arrow object object) →
      ../../Monad/impliedMonoidalFunctor
        (../Type object cat m)
        (../../Ran/functor object object cat semigroupoid m m)
        (../monad category m)