Re: ANNOUNCE: GHC 7.4.1 Release Candidate 1

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. Cheers, Stefan