>> I am also wondering what the following would/should mean:
>>>> (1, , ( , 2), ) 'a' 'b' 'c'
>> I would expect it to be a type error, since I think the following is the
> only sane type the tuple can have (assuming numeric literals :: Int):
>> (1, , ( , 2), ) :: a -> b -> (Int, a, c -> (c, Int), b)
>> Ganesh
Ah you're completely right! I would be applying a tuple to a Char
which is nonsense.