Monoids? how do we need them