Re: type disjointness John Cowan 02 Jan 2019 13:26 UTC