我不明白为什么当我查看类型时，例如：a = (1, 2)
我得到
a :: (Num a, Num b) => (a, b)
相反，如果我查看以下类型：b = ('a', 'b')我得到
b :: (Char, Char)
而不是类似的东西：
b :: (Char a, Char b) => (a, b)