T12386.hs:9:15: error:
    • Expecting one more argument to ‘F a’
      Expected a type, but ‘F a’ has kind ‘* -> *’
    • In the type ‘F a’
      In the default type instance declaration for ‘T’
      In the class declaration for ‘C’