本記事はRecruit Engineers Advent Calendar 2022の15日目です． でです． 突然ですが ここに型と型があります それぞれ，次のような値を持ちます． いま，です． という記号は2つの型のあいだに書いて，「左の型が右の型のサブタイプである」と読みます． TypeScript…