質問です。
正確には覚えてないんですが、Haskell の型宣言を省略した場合、コンパイラ、インタプリタがよきにはからってくれてなるべく適用範囲が広い型をつけてくれます。
でもそれは Top-Level ではダメって制約があったと思うんですが、この制約なんか名前ついてたとおもうんですがなんでしたっけ？
これなんの為にあるんでしょう？
これ外すための GHC のオプションがあった記憶もあるんですがわかります？
数年ぶりに Haskell つかったら昔とったハズの杵柄がボロボロに orz。