関数型の変
型変数の型変数コンプライアンスとどのように置換原則リヒターの機能を遵守した後、該当するタイプリヒター置換原則に行を記述します。
構造タイプの新しいタイプを生成した後。
型変数自体は型コンストラクタです。
型変数は、特性のコンストラクタを記述する。
継承共分散インバータ：
C ++、Java（登録商標）、Scalaのサポート共変戻り値が、すなわち時にスーパークラスの継承クラス階層の中性子カバレッジ、戻り値は、より特定のタイプを指定することができます。C＃のは、戻り値の共変に対応していません。
インバータのパラメータは、オブジェクト指向言語を可能にするくらい、-C ++やJava、ScalaのとC＃は関数のオーバーロードとみなしますではありません。
https://www.cnblogs.com/feng9exe/p/9760625.html
関数のパラメータ：インバータに沿って、
戻り値：共変。