/Object/
../
Monoid