First monoid