How about we can write dinjunctive pattern matching like: (match implementation ({:ABCL :SBCL :ACL :ECL :CCL} "Supported") (otherwise "Not supported")) Perhaps we need some disjunctive pattern syntax.