Apr 13, 2020 Post comments count2 Post likes count0 The type-dependent type or value that is independent of the type Raymond Chen To delay the evaluation until instantiation.