Thorsten Wißmann, Stefan Milius: Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda. LICS 2024: 72:1-72:14