type disjointness Alex Shinn 02 Jan 2019 06:47 UTC