Added an monoidic-option
Added Endofunction monoid