Proper Shuffle solutions

Proper Shuffle was solved using OCaml by 2 contestants. Solution sizes: average 1324 bytes (shortest: 1160; longest: 1489).