为什么 GHCi 输入这个语句很奇怪？

Question

在回答 stackoverflow 上的问题时，我注意到 GHCi（交互式）在 let 语句中分配了过于严格的类型。也就是说，给定代码，

import Control.Arrow
f = maximum &&& id >>> fst &&& (\(m,l) -> length $ filter (==m) l)

（如我对 https://stackoverflow.com/questions/6281813/maximum-of-list-and-count-of-repeat-maximum-number/6283594#6283594），如果在<之前插入“let” code>f 并在 ghci 中输入此内容，它会给出以下类型信息，

Prelude Control.Arrow> :t f
f :: [()] -> ((), Int)

而仅询问表达式的类型就会给出正确的结果，即 Ord a =>; [一]-> （a，整数）。我正在使用 ghc 7.0.3。

Answer 1

请参阅 GHCi 中使用的扩展默认规则了解 () 的来源。

至于为什么在这种情况下会发生默认，请比较以下内容：

> let f x = maximum &&& id >>> fst &&& (\(m,l) -> length $ filter (==m) l) $ x
> :t f
f :: (Ord a) => [a] -> (a, Int)

我认为这与绑定是单态有关，但我不确定细节。