Array merge sort implementation in Standard ML / MLton