Interface StateMatcher<S extends State<S>>