https://monodes.com/predaelli/2018/11/04/monoid/