在实例中重复类约束

Question

为什么第一个实例声明需要明确提及Num a，而第二个实例声明不需要？在两种情况下，为什么Num的类限制可以同等地推断出C1？

class Num a => C1 a b
instance (Num a, C1 a Int) => C1 a Char

class C1 a b => C2 a b
instance C2 a Int => C2 a Char