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来说，这似乎是->如何处理的结果。 Issue #64 in the GitHub tracker，与我们在此讨论的内容非常相似，包括Neil Mitchell的评论：

  

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