I have trapped myself in a prison of my own making

    = note: expected type `U`
               found type `<<IterB<T, U, F> as Triple<<T as std::iter::Iterator>::Item, <U as std::iter::Iterator>::Item>>::Output as Assoc<<U as std::iter::Iterator>::Item>>::Type`
    = note: required by `Bind`