Структурная типизация в C#

Обычно для этого интерфейсы обзывают в стиле IHaveSomeProperty. В целях улучшения читаемости.

В F#, кстати, есть generic constraint'ы по сигнатурам методов. Но сделаны они не нативно для CLR, а через атрибуты, от чего понятны только компилятору F#. Выглядят примерно так:

type Class<'T when 'T : (static member staticMethod1 : unit -> 'T) > =
    class end

Структурная типизация — это прекрасная вещь в дополнение к «классической» номинативной (в Go мне тоже эта фича понравилась).
Но у вас нет как таковой структурной типизации.

Структурную типизацию можно реализовать используя T4 или любой другой «препроцессор», либо использовать вейверы, для сторонних библиотек.

PS: Лучше иметь IGetPropertyA и ISetPropertyB

в C#, структурная типизация не поддерживается

Это не совсем верно. Структурная типизация поддерживается в очень ограниченных масштабах. Например, в foreach итерируемый объект должен иметь метод GetEnumerator, возвращающий объект с методом MoveNext и свойством Current. Оператор await применим к любому объекту, реализующему awaitable паттерн – опять же, никаких интерфейсов и базовых типов. LINQ-операторы тоже ожидают наличия методов .Select, .SelectMany, .Where и других. Ну и в дополнение ко всему, вроде бы во всех упомянутых сценариях это могут быть как extension-методы, так и «обычные».