data Fact = Foo | Bar rs = ruleset Foo => Bar main = "Not to be executed." -- 4:10-4:13: Expected <[Fact]> got .