haskell - Hayoo/Hoogle 不匹配单态/少多态签名与多态签名

Question

例如，我试图了解 Hoogle 和 Hayoo 不匹配是否有根本原因

(b -> c) -> (b' -> c') ->   (b, b') -> (c, c')

至

a b c    -> a b' c'    ->   a (b, b') (c, c')

恰好是以下类型Control.Arrow.***：

(***) :: a b c -> a b' c' -> a (b, b') (c, c')

——这可能只是一些尚未实现的东西，还是有一些基本的东西阻止了这种基于类型的搜索的实现？

Answer 1

对于 Hoogle，这似乎->是处理方式的结果。GitHub 跟踪器中的问题 #64与我们在这里讨论的非常相似，包括 Neil Mitchell 的评论：

目前，我很快将结果类型从参数中分离出来。我想一种方法是找到实例->并预生成一个带有->替换的版本。