Leptos Generic Component Prop

progress: impl Fn() -> i32 + 'static

To accept both signals and derived signals, you specify the prop as a generic impl trait