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