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

[Yucheng Zhang]

On Wed, Jan 4, 2012 at 1:38 AM, Yucheng Zhang <yczhang89 at gmail.com> wrote:
> On Wed, Jan 4, 2012 at 1:07 AM, Yves Parès <limestrael at gmail.com> wrote:
>> Try to put a totally wrong type to subsome, like
>> subsome :: Int
>> and tell us from the error what type is actually inferred.
>

Sorry, I found I misunderstood the suggestion. I will try.