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’