Inspired by
Agda Alice's
Shuffle