ah ok, so more like an async type checking