Here is a simpler syntax:

   fn accumulate tuples: &[(&'a Str, &Fn(i32) -> Bool)], i: i32 -> t
   where
        t: Monoid + From &'a Str + From String,

this is how Haskell with lifetimes and borrowing would look like (if arguments were not curried)