A Relationally Parametric Model of Dependent Type Theory.