[Haskell-cafe] Chuch encoding of data structures in Haskell

[Günther Schmidt]

Hi all,

I'm exploring the use of church encodings of algebraic data types in 
Haskell.
Since it's hard to imagine being the first to do so I wonder if folks 
here could point me to some references on the subject.

I'm looking for examples of church encodings in Haskell a little bit 
beyond Church Booleans and Church Numerals.

Günther