Monoid and point free functions