これが filteredMap になる場合高階型の道からは完全に外れるよね

これなんで？