Custom Representations of Inductive Families. - Constantine Theocharis; Edwin Brady (CoRR, 2025)