Persimmon: Nested Family Polymorphism with Extensible Variant Types. - Anastasiya Kravchuk-Kirilyuk; Gary Feng; Jonas Iskander; Yizhou Zhang 001; Nada Amin (Proc. ACM Program. Lang., 2024)