Я пытаюсь понять, есть ли фундаментальная причина, почему Hoogle и Hayoo не совпадают, например (b -> c) -> (b' -> c') -> (b, b') -> (c, c') to a b c -> a b' c' -> a (b, b') (c, c') который имеет тип...