inline instantiation of matchers, added giving supplied type coverage