ICRC7 already has the concept of (atomic) batch transfers.
ICRC4 tries to do the same for ICRC1, but it seems like it is not finalized yet.
All or nothing batch transfers are not always easy to guarantee, in the ICRC7 the token has to indicate explicitly whether it supports this through icrc7_atomic_batch_transfers : () -> (opt bool) query;. I do not see a reason why this can not be done for fungible token too.
Other thread: ICRC4 - Batch Transfers - Nearing Finalization - Please Review