Hayoo / Hoogle无法将单态/较少多态签名与多态签名匹配 - Hayoo/Hoogle not matching monomorphic/less polymorphic signatures with polymorphic ones
我正在尝试了解是否有一个为什么Hoogle和Hayoo不匹配的根本原因,例如 (b -> c) -> (b' -> c') -> (b, b') -> (c, c') 至 a b c -> a b' c' -> a (b, ...