Re: transitivity does not imply type-checking Sebastian Egner 21 Nov 2005 10:42 UTC