Provides a framework for defining types that can be used to pass constant & static values as generic type arguments. These can be used in static contexts (such as static constructors & static methods), reduce the need to pass arguments through instance constructors, add compile-time validation, and more.
Create material explaining what the K type is used for and the concept of arg holders.