对于(>)，这并不重要，因为两个参数具有相同的类型。从Ord a => a -> a -> Bool中删除Ord a => a，您将得到Ord a => a -> Bool。 在 general 中，您只需要删除与所应用的参数对应的类型。
-- with the Int argument supplied, you still need a Char
(x ??) == (\y -> x ?? y) :: Char -> Bool
-- with the Char argument supplied, you still need an Int
(?? y) == (\x -> x ?? y) :: Int -> Bool
1条答案
按热度按时间lqfhib0f1#
对于
(>)，这并不重要，因为两个参数具有相同的类型。从Ord a => a -> a -> Bool中删除Ord a => a，您将得到Ord a => a -> Bool。在 general 中，您只需要删除与所应用的参数对应的类型。