Correspondence and typescripts