8.14: Prop for List.takeWhile
8.14: Prop for List.takeWhile