+module { export = [main], features = [chr] }
+import "Prelude"
+
+ruleset A where
+ constraint AR Integer Integer
+
+pcombine :: A -> <Proc> ()
+pcombine a = ()
+ where
+ include A a
+
+ -AR ?a ?b => True
+
+main = ()
+--
+()
\ No newline at end of file