T15881a.hs:8:22: error:
    • Expected a type, but ‘a’ has kind ‘n’
    • In the kind ‘a -> Type’
      In the data type declaration for ‘A’