>>917
>f に束縛したのなら、その f を何か引数に適用する時に、
>その引数と併せて推論すればいいのにと思うんですが・・・
Haskell98ではまさにそうなってる
単相性制限が適用された変数の型には、そのモジュール内での使われ方だけからでは推論できない場合のみデフォルト化規則が適用される
こういうことができるのは、一つのモジュールの型検査を一度にやることが前提だから

ghciの場合は宣言が入力されるたびにその型を決定するような設計になっている
つまり、使われ方を見ずに型を決めないといけないので、
単相性制限が適用されたら自動的にデフォルト規則も適用されることになる