The compos operator, inspired by
B. Bringert and A. Ranta A pattern for almost compositional functions ICFP 2006