[Haskell-cafe] Solved but strange error in type inference

Yucheng Zhang yczhang89 at gmail.com
Tue Jan 3 19:53:31 CET 2012

On Wed, Jan 4, 2012 at 2:48 AM, Bardur Arantsson <spam at scientician.net> wrote:
> 'subsome' to a different type than the one you intended -- and indeed one
> which can't be unified with the inferred type. (Unless you use
> ScopedTypeVariables.)

Thanks for the reply.

Actually, my question is why the different type can't be unified with
the inferred type? Could you point me some related resources?

More information about the Haskell-Cafe mailing list