pub trait MatIndex<RowRange, ColRange>: Seal + Sized {
type Target;
// Required method
fn get(this: Self, row: RowRange, col: ColRange) -> Self::Target;
// Provided method
unsafe fn get_unchecked(
this: Self,
row: RowRange,
col: ColRange
) -> Self::Target { ... }
}