module { features = [chr] } import "StandardLibrary" main = select (?a,?b) where Foo ?a Bar ?b where True => Foo 1 True => Foo 2 True => Bar 3 True => Bar 4 -- [(2,4), (2,3), (1,4), (1,3)]