fn for_trait<F>()
where
   for<'a> F: Fn(&'a str)
{ }