Hello all,

I have two datatypes, both representing the same language. However, one is a "flattened" version of the other. For instance:

data Flattened =
Const Flattened
| Sum Flattened Flattened
| ...
| IntConst Int
| RealConst Float
| BoolConst Bool
| Void

----

data Term =
Const Constant
| Sum Term Term
| ...

data Constant =
IntConst Int
| RealConst Float
| BoolConst Bool
| Void

Now I want to create functions to convert between these two datatypes. This is easy to do but *very* tedious in its most naive approach. However, I think I can use Data.Generics to make a simple implementation of both functions. The question is: can I? I think that this conversion is a simple fold over the structure, changing merely the constructor name (the qualified name, because the unqualified name is the same), but I cannot seem to understand from the documentation how to do this...

Thanks in advance,
Mark Smith