haskell - 为构造函数的组合声明类型类实例

Question

试图回答this SO question我想知道:

假设我希望能够编写 fmap (+1) [Just 2] 而不是 (fmap.fmap) (+1) [Just 2] (毕竟，两个仿函数的组合是另一个仿函数)

然后我可以尝试为 [] 和 Maybe 的组合声明一个 Functor 实例(即两个类型为 * -> * 的构造函数>)

instance Functor ..eh??? where 
  fmap f [Nothing] = [Nothing]
  fmap f [] = []
  -- ...etc.

但是，如果没有类型级别的 lambda (\Lambda a -> [Maybe a]::* -> *)，我看不到如何编写 实例声明部分:

instance Functor Maybe([]) 

当然是胡说八道，甚至连亲切的检查都没有。

有什么办法解决这个问题吗？当然，如果构造函数恰好是 monad(就像在这种情况下)，我可以使用 monad 转换器(即 * -> * -> * 类型的构造函数)，组合将成为一个应用程序，如ListT Maybe，这是完全合法的。然而，通常情况并非如此。

Answer 1

使用 Data.Functor.Compose 我们可以编写

> fmap (+1) $ Compose [Just 2]
=> Compose [Just 3]

并进一步使用强制，

> coerce . fmap (+1) . Compose $ [Just 2] :: [Maybe Integer]
=> [Just 3]