Interface StateSpec.Cases<ResultT>