type systems code snippets in csharp