Re: your mail

[Jan Brosius]

>
> That particular example seems nonsensical: you're asking if `s' is `s'?
> The answer would always be "yes".
>
 Of course not Fergus, I did perhaps not express it very correctly, and you
wanted very hard to interpret it
as a nonsense.

I have looked in the libraries and there is no way to interrogate the
typechecker.
So this question is obsolete.

Fergus , other things might be lethal too,

Friendly
Jan Brosius