data Fact = Foo1 | Foo2 data Fact2 = Bar rs = ruleset Foo1, Foo2 <=> [Bar] main = "Not to be executed." -- 5:19-5:22: Expected got .