SimpleFail1a.hs:4:1: error:
    • Expecting one more argument to ‘T1 Int’
      Expected a type, but ‘T1 Int’ has kind ‘* -> *’
    • In the data instance declaration for ‘T1’