Data Types with Symmetries and Polynomial Functors over Groupoids | Publicación