Re: type disjointness John Cowan 10 Jan 2019 22:38 UTC