value-dependent types code snippets in csharp

create dependent types that depend on values in csharp