haskell - 更高等级类型的 GHC 类型推断 - 分配给单型

Question

我以前问过这个question ，经过大量调查，我得出结论，GHC 仅适用于中缀 $ 的特殊规则和 . .

对于这个问题，我假设 GHC 遵循 RankNTypes - Haskell Prime 中提到的系统。页面在 arbitary-rank 中进一步详细说明.

RankNTypes - Haskell Prime页面声明如下:

parameter variables without explicit signatures are assigned monotypes in upwards inference, but may inherit arbitrary-rank types in downwards checking.

我假设“分配的单型”意味着通过将所有限定符移动到最外层来将 rank-N 类型转换为 rank-1 类型。

我也相信这就是导致我问上一个问题的异常类型错误的原因。

所以我有几个问题:

1)无论如何让GHC警告(或错误)隐式转换为单型？我之前的 question 中的类型错误花了一些时间来解决，转换为单一类型的警告会比类型错误更有帮助。
2)是否存在隐含的“分配给单一类型”是明智行为的情况，如果是这样，你能举个例子吗？
3) 关于中缀 $和 . ，这些似乎在GHC中有特殊的规则。这是在哪里记录的？ GHC 还有其他特殊规则吗？它们记录在哪里？

Answer 1

http://hackage.haskell.org/trac/ghc/ticket/5596在这里是相关的-我认为没有任何官方文档。