haskell - 将作为参数传递的函数应用于 Haskell 中的不同类型

Question

有没有办法将作为参数传递的函数应用于两种不同的类型？作为一个人为的例子，我可以创建一个 (Maybe Int, Maybe Bool)使用表达式 (Just 3, Just True) ，但是如果我尝试使用该函数使这种行为更通用

generic :: (a -> Maybe a) -> (Maybe Int, Maybe Bool)
generic f = (f 3, f True)

这样我就可以做 generic Just 之类的事情，编译器会报错，因为类型变量 a是恒定的。

其用例是将通用函数应用于树结构，其中每个节点都由类型参数化。

Answer 1

这可以使用 rank-2 多态性来实现，如下所示:

{-# LANGUAGE Rank2Types #-}
generic :: (forall a. a -> Maybe a) -> (Maybe Int, Maybe Bool)
generic f = (f 3, f True)

通常你需要一些类型类限制(不是因为 generic 的实现需要它，而是因为调用者不能传递适用于所有类型的参数)，例如

genericNum :: (forall a. Num a => a -> a) -> (Int, Integer)
genericNum f = (f 3, f 9)