Functional Pearl: Folding Polynomials of Polynomials. - Chen-Mou Cheng; Ruey-Lin Hsu; Shin-Cheng Mu (FLOPS, 2018)