D-marina/CommutativeMonoids: ComutativeMonoidsV1 - D-marina (2019)