infixed implicit parameters

[Hal Daume III]

in the cannonical sort with implicit params, i we write something like:

mySort :: (?cmp :: a -> a -> Ordering) => [a] -> [a]
mySort [] = []
mySort (x:xs) = insert x (mySort xs)
    where insert x [] = [x]
	  insert x (y:ys)
		 | ?cmp x y == GT = y : insert x ys
		 | otherwise      = x : y : ys

but we cannot write for the second-to-last line:

  x `?cmp` y

or

  x ?`cmp` y

any chance this will be changed (my preference would be for the first one.

 - hal

--
Hal Daume III

 "Computer science is no more about computers    | hdaume@isi.edu
  than astronomy is about telescopes." -Dijkstra | www.isi.edu/~hdaume