T11356.hs:3:7: error:
    • Expected kind ‘k0 -> Constraint’, but ‘T p’ has kind ‘Constraint’
    • In the class declaration for ‘C’