T15881.hs:8:18: error:
    • Expected kind ‘k0’, but ‘n’ has kind ‘k0 -> *’
    • In the first argument of ‘n’, namely ‘n’
      In the kind ‘n n’
      In the data type declaration for ‘A’