Hello C,

thank you for explaining.

The funny thing is that I have never seen anybody take this even a single step further than you have in your email.

In particular I have not found anything where someone might use church encoding to solve a quite practical problem, namely for implementing extensible records.