diagram finally typed