Ord instance for TypeRep?

[Carl Witty]

On Wed, 2004-04-07 at 01:22, Simon Peyton-Jones wrote:
> It's not as simple as it sounds.  The difficulty is this:
> 
> Is 	typeOf (x::Int) > type (y::Bool)
> 
> If the semantics of the language is well defined, there should be an
> answer, otherwise you could write programs in which different Haskell
> implementations give different answers. 

Why not just document it as unspecified?  There are already such
expressions in the language; for instance, I would be astounded if all
Haskell implementations gave the same answer for 'show (tan 1e20)'.

Carl Witty