Nested datatypes with generalized Mendler iteration: map fusion and
the example of the representation of untyped lambda calculus with
explicit flattening
All the following code is additional material to the article of the
same name by the author that is accepted for MPC 2008.
THIS IS THE OLD MPC2008 CODE, THE ONE FOR THE SPECIAL ISSUE IS ONE DIRECTORY HIGHER!
The latter two come from the extra material for the JFP paper
this work is based on (my publications page).
Ralph Matthes