8.14: Prop for List.takeWhile