English Dependent type Cited by user RDBrown on 06 Mar 2020 Two common examples of dependent types are dependent functions and dependent pairs. The return type of a dependent function may depend on the value (not just type) of…