@igrishaev If you're using the interpreter namespace, you may want to consider using finder instead of matcher. It finds the first solution and doesn't complain about ambiguity or non-exhaustive matches.
yep, I'll take a look. I was editing someone else's code, not mine. A person declared a matcher and passed it into a map function.