RepPolyClassMethod.hs:10:12: error: [GHC-25897]
    • Expected a type, but ‘a’ has kind ‘TYPE rep’
      ‘rep’ is a rigid type variable bound by
        the class declaration for ‘C’
        at RepPolyClassMethod.hs:8:18-20
    • In the type signature: methC :: a
      In the class declaration for ‘C’