The type-dependent type or value that is independent of the type April 13, 2020 Apr 13, 2020 04/13/20 Raymond Chen To delay the evaluation until instantiation.