我正在尝试了解是否有一个为什么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')
—这可能只是尚未实现的事情，还是有某种根本性的因素在阻止这种基于类型的搜索的实现？
最佳答案
使用Hoogle，似乎是->的处理方式的结果。 Issue #64 in the GitHub tracker与我们在此处讨论的内容非常相似，其中包含Neil Mitchell的评论: