Контракты кода: Как я предоставляю класс контракта для универсального интерфейса?

Я хотел бы указать контракт для этого универсального интерфейса, с помощью Контрактов Кода:

interface IRandomWriteAccessible<T>
{
    T this[uint index] { set; }
    uint Length { get; }
}

В документации говорится для использования ContractClass припишите при определении контракта для интерфейса. Однако компилятор будет жаловаться на это:

[ContractClass(typeof(IRandomWriteAccessibleContract<T>))]
//             ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^     <-- compiler error
interface IRandomWriteAccessible<T> { … }

[ContractClassFor(typeof(IRandomWriteAccessible<T>))]
//                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^          <-- compiler error
sealed class IRandomWriteAccessibleContract<T> : IRandomWriteAccessible<T> { … }

Кажется, что параметры типа не могут использоваться с атрибутами.

Как я составляю договор для своего универсального интерфейса? Или разве это не возможно с Контрактами Кода?