On Wed, Jan 4, 2012 at 2:48 AM, Bardur Arantsson <s...@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? _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
