pub fn is_sorted<T: Ord>(arr: &[T]) -> bool