T18863a.hs:9:1: error: [GHC-83865]
    • Couldn't match expected kind: forall i. i -> *
                  with actual kind: forall i -> i -> *
    • In the data type declaration for ‘IDa’