Re: [Haskell-cafe] Defining types (newbie)

John Fouhy:

But if I want to combine tcEqOne and tcGtThree I run into type problems, because one of them uses Strings and the other Integers. I want to break the type dependence between the arguments of "And"; can I do this?

Try this. You'll also need to change "ThingCompare a" to "ThingCompare" in all your function type signatures.

data ThingCompare = forall a. TC (BooleanOp a) (Field a) | And ThingCompare ThingCompare | Or ThingCompare ThingCompare

You might also like to read my post from a few minutes ago: http://www.haskell.org/pipermail/haskell-cafe/2007-March/023465.html