[Haskell-beginners] Referring to several constructors at once

[David Morse]

One beginner to another, what about just breaking down and using multiple
data declarations, then packing the rules into the outer data type and the
misc. parameters into the inner data type?:

data RuleBox = Rule0 RuleZero | Rule1 RuleOne Rule | Rule2 RuleTwo Rule Rule
data RuleZero = Axiom Sequent
data RuleOne = WeakeningL Sequent FormulaOccur | WeakeningR Sequent
FormulaOccur | ContractionL ... | Contraction R ... | PermutationL ... |
PermutationR ... | NotL ... | NotR ...
data RuleTwo = Mix Sequent FormulaOccur | AndL ... | AndR ...
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/beginners/attachments/20090111/9ddabd12/attachment.htm