Philipp Joram “Datatypes with Symmetries in Homotopy Type Theory” (“Sümmeetriatega andmetüübid homotoopilises tüübiteoorias”)