Report question

Question: Type-class instances for types with 2 parameters when the type-class has only one