Hi, I have two types, Tag = String Val = String and I want to creat expressions based on equality,  t = v  (where t is Tag, v is Val) and containment ie t IN v1, v2, v3, v4 ie a tag equals a value or a tag is contained in a list of values. Furthyermore I would like to apply AND and OR, i.e. (t1 = v OR t1 IN v1, v2, v3) AND (t2 = v2) ect etc I want to use Parsec and I'm ok with basic combinators but I want to get as far as making this a simple DSL but I don't want to use buildExpressionParser  - at least not initially. I want to do this from first principles, understand what I'm doing and then maybe use buildExpressionParser. Any help would be really appreciated. Thanks Mike