This page moved to /2025/11/25/disjunctive-types/.