pub trait AddTkText {
// Provided method
fn add_text<Opts, Inst: TkInstance>(
&self,
path_opts: impl Into<PathOptsWidgets<Opts, ()>>
) -> InterpResult<TkText<Inst>>
where Self: Deref<Target = Widget<Inst>>,
Opts: IntoHomoTuple<TkTextOpt> + IntoHomoTuple<OptPair> { ... }
}