#1894: Add a total order on type constructors ----------------------------------------+----------------------------------- Reporter: guest | Owner: Type: feature request | Status: new Priority: lowest | Milestone: 7.6.2 Component: Compiler (Type checker) | Version: 6.8.1 Keywords: | Os: Unknown/Multiple Architecture: Unknown/Multiple | Failure: None/Unknown Difficulty: Unknown | Testcase: Blockedby: | Blocking: Related: | ----------------------------------------+----------------------------------- Comment(by goldfire): As far as I can see, the evolution of the type system hasn't fundamentally changed this issue. With closed kinds (i.e., those from a promoted datatype), it is easy to define an ordering using a type family. But, that doesn't solve the problem for kind {{{*}}}. There is a chance that any applications that want this feature can use nfrisby's packages, or the upcoming TypeLits work, which includes type- level strings. Is there anyone out there who still needs this? What's your application? -- Ticket URL: http://hackage.haskell.org/trac/ghc/ticket/1894#comment:19 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler