Damato, S. (2023). A formalisation of generalised containers in Cubical Agda (Version 0.1) [Computer software]