Check out
Alia_soul.idr’s
Shuffle