第42回情報科学若手の会のセッション１で「型レベルプログラミングとScala」というタイトルで発表しました。基本的に、型レベルプログラミングの会で発表したスライドをベースに多少修正(型レベル高階関数などの記述を追加)を加えた程度なので、型レベルプロ…