یک نوع با هر شیئی که متدهای درست را داشته باشد برقرار است، بدون ارث‌بری صریح. در Python، typing.Protocol این شکل را برای type checkerها توصیف می‌کند.