T12045d.hs:11:16: error:
    Unexpected kind application in a data/newtype declaration:
      MkD @Nat Bool