(α → Boolean) → [α] → α