あることが期待されます。サブタイプも実引数として許容されます。型エイリアスは型をエイリアスに代入することで定義されます。交換可能な同義語として扱われます。5.4])型エイリアスは複雑な型シグネチャを単純化するのに有用です。よって置き換えられます。UserId(524313)静的型検査器は新しい型を元々の型のサブクラスのように扱います。この振る舞いは論理的な誤りを見つける手助けとして役に立ちます。作ってしまうことを防ぎます。UserId(54341)これらのチェックは静的型検査器のみによって強制されるということに注意してください。いう式は新しいクラスを作ることはなく、通常の関数呼び出し以上のオーバーヘッドがないということを意味します。実行時に常に真を返します。サブタイプを作ることが出来ないということも意味しています。対する型検査は期待通りに動作します。宣言している、ということを思い出してください。これは複雑な型シグネチャを単純化したい時に有用です。