ins integer ( listInteger : remainingListIntegers )
 
 |  integer < listInteger  = integer     : (listInteger : remainingListIntegers)
 |  otherwise              = listInteger : (ins integer remainingListIntegers)
ins integer ( listInteger : remainingListIntegers )
 
 |  integer < listInteger  = integer     : (listInteger : remainingListIntegers)
 |  otherwise              = listInteger : (ins integer remainingListIntegers)
ins integer ( listInteger : remainingListIntegers )
 
 |  integer < listInteger  = integer     : (listInteger : remainingListIntegers)
 |  otherwise              = listInteger : (ins integer remainingListIntegers)