The restriction that a function of one type cannot apply to a function of the same type blocks the p...