T7341.hs:11:12:
    Expecting one more argument to ‛[]’
    The first argument of ‛C’ should have kind ‛*’,
      but ‛[]’ has kind ‛* -> *’
    In the instance declaration for ‛C []’