'next'を使用してarivingするインスタンスがありません

Question

私が書いた関数は、他の機会にもうまく使用していますが、動作していないことに気付きました。

私のテストファイル（ちょうどこの問題をテストするために作られたもの）は次のようになります。

import System.Random 
generator = next . snd 

これは奇妙なことがあれば、私はGHCiのとタイプを開くことで、エラー

No instance for (RandomGen g0) arising from a use of ‘next’ 
The type variable ‘g0’ is ambiguous 
Relevant bindings include 
    generator :: (a, g0) -> (Int, g0) (bound at Test.hs:2:1) 
Note: there is a potential instance available: 
    instance RandomGen StdGen -- Defined in ‘System.Random’ 
In the first argument of ‘(.)’, namely ‘next’ 
In the expression: next . snd 
In an equation for ‘generator’: generator = next . snd 

になり：

import System.Random 
let generator = next . snd 

すべてがうまくいきます。私は何が欠けているのですか？

編集：また、これを試してみましたし、それだけで正常に動作します：

generator something = next (snd something) 

Answer 1

は発生しませんので、デフォルトを使用していますMonomorphism Restriction

これは技術的な問題です（詳細に興味があればリンクを参照してください）。通常、署名を追加したり引数を書き留めたりするため、表示されません。ポイントフリーのスタイル）をあなたのモジュールに追加することができます.GHCiでは無効になっています。ここでは少し不運です。これは、あなたが

:set -XMonomorphismRestriction 

を実行することができ、同じ動作を取得するには

（epsilonhalbeはあなたに言ったように、それはデフォルトを使用します）コンパイルされたモジュールがデフォルトで有効になっていますが、GHCiのため無効になっているGHCの新しいバージョンの

in GHCi

Answer 2

私はあなたがタイプの署名を追加する必要があると思う、GHCiのはこれがのためであるが