Re: type disjointness John Cowan 07 Jan 2019 14:20 UTC