そんな高階関数filterの型チェック特別に実装するのは現実的じゃ無さそうだ