pub trait Func<'a>: Clone + Sealed + Value<'a, Tag = FuncTag> + 'a { }
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.