# Monoid

