ANNOUNCE: GHC 7.4.1 Release Candidate 1
stefan at vectorfabrics.com
Thu Dec 29 12:24:58 CET 2011
> 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