[Haskell-cafe] a beginner question: decorate-op-undecorate

[Stephen Tetley]

Hello Aran

Changing to an explicit sum type rather than using Either might
subsequent functions that process a Binding cleaner:

data Binding = BoundVar      Var Value
             | PossiblyBound Var [Value]

Naturally you might want to consider a better constructor name than
'PossiblyBound'.

-- 

As an open question to the list - the above change can be seen as a
'denormalisation' of the data type (adding redundancy), does anyone
know of a reference that covers such things?

The only thing I can think of close is David S. Wile's "Abstract
syntax from concrete syntax"...

Thanks

Stephen