[Haskell-cafe] type inference futility

[Paul Wankadia]

Felipe Almeida Lessa <felipe.lessa at gmail.com> wrote:

> How about changing
>
> > x <- new
>
> to
>
> > x <- new :: IO MehQueue
>
> ?

Is it impossible for the compiler to infer the type from the methods called?

(-fweird-strange-sick-twisted-eerie-godless-evil-stuff!-and-i-want-in.)