type constraints code snippets in csharp

create dependent types that depend on values in csharp