RE: [Haskell-cafe] Variants of a recursive data structure

Dear Matthias, I did not choose your approach because I want the type system to enforce that I have either completely labelled AST or completely unlabelled ASTs. Klaus