Re: type disjointness John Cowan 11 Jan 2019 01:49 UTC