- Continuing with monoids. Contains compile errors