My understanding is that it gives you less flexibility in how your type system works. To a certain extant you are stuck with the C# type system no matter what

My understanding is that it gives you less flexibility in how your type system works. To a certain extant you are stuck with the C# type system no matter what the language is because it is baked in to the VM. I assume this doesn't apply as much to dynamic languages but still makes interoperability a pain.