定义一个依赖于自身的Semigroup实例

定义一个依赖于自身的Semigroup实例