関数型の次はなんだ?