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

[Stephen Tetley]

Of interest, (.+.) is the T combinator - called (##) in Peter
Thiemann's Wash and the queer bird in Raymond Smullyan's To Mock a
Mockingbird.

Your technique might well relate to the 'element transforming style'
of Wash, see the Modelling HTML in Haskell paper.

Best wishes

Stephen