我在 Haskell 库中寻找如下类（或者至少知道这种东西的数学名称）： class Monoid patch => MyThing patch t where applyPatch :: t -...