型リストを使ってメタ関数の部分適用。