在函数内部使用haskell类

Question

假设有一个类：

class Foo a where
  g :: b -> a
  f :: a -> b

我希望能够编写以下函数：

h :: a -> a
h = f . g

但要做到这一点，我需要某种方法来指定我正在使用的Foo的确切实例。有什么方法可以做到这一点，就像锈菌如何利用性状一样？我很确定每次我都可以使用模板haskell用提供的类来构建这个函数，但如果可能的话，我想了解一下。

Answer 1

如果希望h在内部决定使用哪个实例，只需提供一个注释来消除歧义。比如说，如果你想选择b~Int

h :: Foo a => a -> a
h = f . (g :: Int -> a)

（我猜Foo在您的实际类中将需要另一个参数b，但在这种情况下，这种方法可以根据需要进行调整）。

如果您需要h的调用者来选择实例，而不是h本身，您可以使用AmbiguousTypes和TypeApplication（和ScopedType变量）。

h :: forall b a . Foo a => a -> a
h = f . (g :: b -> a)

稍后，您可以像中一样调用h，例如，h@Int以选择b~Int。