I don't know what an isolated declaration is. Do we write TS source differently?