Uncomment <+> (fails with run-time error)
Present implementation of Combinatorial DSL in Curry