fn tuple_body(
    return_type: &Ident,
    fields: &[&Field]
) -> (TokenStream, Vec<Ident>)