サブタイプと変性について。
ここでのサブタイプはライフタイムまわりについて言及している。
オブジェクト指向言語におけるサブタイプ、つまり継承やインタフェースなどの話題とはややニュアンスが異なるため注意されたい。