Re: [Haskell-cafe] lecture notes for Finally Tagless - benefit of explicit fix combinator

Hi Günther The code in the two serialize modules looks very close to Konstantin Laufer's functional variation of the visitor pattern: http://webpages.math.luc.edu/~laufer/papers/mixins03.pdf This open recursion style - is used to get "inheritance" / extensibility - there is a more recent paper by Bruno Oliveira, Tom Schrijvers and William Cook here: http://tomschrijvers.blogspot.com/2009/09/effectiveadvice-aop-mixin-inherita... Best wishes Stephen