Catala is using a similar pattern that @AltGr presented at ICFP this year: https://www.youtube.com/watch?v=pO8Z4lcY0ys .