The diagram appears to be missing Dependently Typed programming languages.