Convenience function for creating assertions.
an Assert that applies all the matchers
an array of matchers, all of which must match
the model type
the effect type