dependently typed programming, dependently typed, dependently typed languages, independently synonym, independently of or from, independently of, independently wealthy, independently and identically distributed, independently east ltd, independently minded