Невозможно назначить в Haskell строке

Question

В строке GHCi,

Я могу сделать,

Prelude Text.Parsec> :t (oneOf "aeiou")

и получить (oneOf "aeiou") :: Stream s m Char => ParsecT s u m Char

Но когда я,

let s = oneOf "aeiou"

I получите следующую ошибку:

interactive>:36:9: 
    No instance for (Stream s0 m0 Char) 
     arising from a use of `oneOf' 
    Possible fix: add an instance declaration for (Stream s0 m0 Char) 
    In the expression: oneOf "aeiou" 
    In an equation for `m': m = oneOf "aeiou" 

Может кто-нибудь рассказать мне, почему я не могу назначить s?

Answer 1

Это monomorphism restriction в действии.

This question тесно связан, хотя речь идет не о ghcilet, но идея такая же.