Prop.run w/ MaxSize, 8.14 Prop for List.sorted
8.14 Prop for List.sorted
8.14 Prop for List.sorted
8.14 Prop for List.sorted