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