/Functor/Monoidal/Braided/
../
Strong