1 2 3 4 5
T17562.hs:7:1: error: ā¢ Uninferrable type variable k0 in the class context: forall (a :: k -> k0). (a b :: k0) ~ (a c :: k0) ā¢ In the class declaration for āCā