@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.