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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users