
3 Jan
2012
3 Jan
'12
12:44 p.m.
On Wed, Jan 4, 2012 at 1:38 AM, Yucheng Zhang
On Wed, Jan 4, 2012 at 1:07 AM, Yves Parès
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.