pub trait AsFact<M, F> { // Required method fn as_fact(&self, model: &mut M) -> Result<Bow<'_, F>>; }