在Haskell中使用Pattern {}构建实例时，必须定义所有字段。
很多时候，我发现自己用一些默认值填充了大多数字段，如果我定义了monoid，通常与mempty中的值相同。
Haskell中是否有任何语法可以使用{}构造实例，但如果不存在，则默认为另一个实例的字段。
类似mempty with {...}的东西。
只需使用一个变量和另一个实例来代替数据构造函数，如下所示：mempty{ someField = 123 }。