Constructing (Co)inductive Types via Large Sizes. - Benno van den Berg; Bastiaan Laarakker; Daniël Otten (CoRR, 2026)