julia

subtype: save some union stack space for ∃ free cases.

#58159

Merged