generics - 入れ子になったときに同等となる型の名前 (例: Async> 非同期に相当)

Question

ネスティング下で同等のジェネリック型を参照するために使用される名前を探しています。つまり、型をそれ自体の中に入れ子にすることによって「異なる値」を取得することはありません。

たとえば、 はAsync<Async<int>>と同等として扱うことができ、実際にこの同等のプロパティを持つ型をAsync<int>何と呼ぶか​​を知りたいです。Async

// Async<int> == Async<Async<int>>
Async<int> r1 = Async.Done(Async.Done(1))
Async<Async<int>> r2 = r1
Async<int> r3 = r2

私の直感では、それらを「Collapsing Types」または「Idempotent under Nesting」と呼んでいますが、適切な用語が何であるかは本当にわかりません。