fn f<T>() where T: Fn() -> u8 + Send {}