pub type Df<A, B, C> = Arc<dyn for<'a> Dx<'a, A, B, C>>;
pub struct Df<A, B, C> { /* private fields */ }