Convert RFC into a general `Iterable` trait family proposal.