Kock, 2010. Polynomial Functors and Trees.. https://doi.org/10.1093/imrn/rnq068