型コンストラクタ

型コンストラクタ

(type constructor)