Re: [Haskell-cafe] Interleaving type variables in a tree, has this a name ?