[Haskell-cafe] Variants of a recursive data structure

[Klaus Ostermann]

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