RE: List.partition a bit too eager