实现元组

Question

我有OnExecute类{。}}类。

ConsolidatedASTMMessagesMemo

我还有两种类型，C和* -> *，它们是class C f where foo :: f a -> a -> a 的实例

A

由于各种原因，我还希望定义如下的B类型是C的实例。

instance C A where
  foo a x = ...

instance C B where
  foo b x = ...

根据this question的答案，类型同义词不能部分应用，并且要按照我的意愿定义实例，我要么需要按步骤（最好）定义它，要么定义{{ 1}}作为新类型（不太可取）。在我看来，应该有一些方法来完成前者，但到目前为止我还没有能够找到一个。任何帮助表示赞赏。