Почему иногда определение значения в Haskell меняет свой тип?

Question

Предположим, что мы имеем

mylist = [1..5] 

Это ясно, что

[1..5] :: (Num t, Enum t) => [t] 

, но почему это, что

mylist :: [Integer] 

вместо

mylist :: (Num t, Enum t) => [t] 

в GHCi? (По меньшей мере, как указано в :t)

Answer 1

Этот конкретный пример по умолчанию равен Integer из-за dreaded monomorphism restriction.

BTW это не произошло в GHCi, больше: поскольку ghc-7.8 использует -XNoMonomorphismRestriction по умолчанию.