pub trait DatumExt { // Required methods fn scalar_fact() -> TypedFact; fn fact<S>(shape: S) -> TypedFact where S: Into<ShapeFact>; }