yyu 4/20/2020 12:47 PM

型レベルのラムダ抽象。