Monoiods are basically the extensions of Semigroups with empty state.. [permlink]