/NaturalTransformation/Monoidal/Construction/