wiki:GhcKinds/KindsWithoutData

Version 2 (modified by dreixel, 22 months ago) (diff)

--

Pedro will write this. Notes:

  • data kind K ...
  • Allow * on data kinds? Or maybe Type, or Star.

  • Perhaps also data type D ...

  • Promote type synonyms by default

  • What about type kind K1 = K2?

  • Even worse: type type T1 = T2...