add algebraic data matcher test