Re: type disjointness Per Bothner (10 Jan 2019 20:19 UTC)

Re: type disjointness John Cowan (10 Jan 2019 22:39 UTC)

Re: type disjointness Per Bothner (11 Jan 2019 01:04 UTC)

Re: type disjointness Per Bothner (11 Jan 2019 19:41 UTC)