27 Dec
2012
27 Dec
'12
12:18 p.m.
I don't know about the RebindableSyntax extension. But Prelude> :t [[1,2],3] [[1,2],3] :: (Num [t], Num t) => [[t]] The above only says that is is possible to have a list like [[1,2],3] if you have for a Num t, [t] is also an instance of Num. But it doesn't guarantee the existence of such an instance. When you actually execute the code then you see that no such instance exists by default. -Satvik