ANNOUNCE: GHC 7.4.1 Release Candidate 1

Stefan Holdermans stefan at
Thu Dec 29 12:24:58 CET 2011

Lauri wrote:

> Sorts are typically constants, and there are usually a finite amount of them, each presenting a "level" of the type system.

Indeed. The literature on generic programming sometimes uses the term "superkind" to refer to the sort of BOX; see, for example,

  Ralf Hinze and Johan Jeuring. Generic Haskell: Applications. In Roland Carl Backhouse and Jeremy Gibbons, editors, Generic Programming: Advanced Lectures, volume 2793 of Lecture Notes in Computer Science, pages 57–96. Springer-Verlag, 2003.



More information about the Glasgow-haskell-users mailing list