Motivation

Want general purpose pattern matching, binding, unification. Possibly split into multiple services a la carte. My initial use case (generalizing how to limit reflection results) needs only matching, no binding or unification.

Issues

Based on a combination of my needs, the matching implementation I have proposed for clojure.data / reflection, and Drew Colthorp's matchure: