Julia’s Efficient Algorithm for Subtyping Unions and Covariant Tuples (PDF, 15 pp.).