コレクションは要素型に対して暗黙的な変換をどのように使用できますか？

Question

this questionで作業しているうちに、次の問題が発生しました。

def foo[T <: Ordered[T]](s : Seq[T]) = s.sorted 

def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted 

最初のコンパイルは2番目のコンパイルではありません。コンパイラは、アサートされた暗黙の変換を使用してOrderingを取得できることを理解していません。我々は少しを助けている場合、それは動作します：匿名関数をコンパイルするコンパイラがメソッド<=を見つけるための暗黙的な変換が適用されるが

def foo[T <% Ordered[T]](s : Seq[T]) = s.sortWith(_<=_) 

、すべてが正常です。

私は別の例はありませんが、要素が特定のプロパティを持つことを必要とするコレクション上の他の関数で同様の問題が起きると考えられます（変換によってのみアサートできる場合）。

コンパイラがこのように制限されている特別な理由はありますか？このような問題を解決する一般的な方法はありませんか？ （ここでは簡単です）回避策はありますか？ Key[T]のプロパティをTに変換する別の暗黙の変換？

（最後の考えは、Tの具体的な値がプロパティを持つことになり、あいまいな状況になる場合は問題があることに注意してください）。

Answer 1

scala> implicit def ordering[T <% Ordered[T]] = new Ordering[T]{def compare(x: T, y: T) = x compare y} 
ordering: [T](implicit evidence$1: (T) => Ordered[T])java.lang.Object with Ordering[T] 

scala> def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted 
foo: [T](s: Seq[T])(implicit evidence$1: (T) => Ordered[T])Seq[T] 

Answer 2

% scala29 
Welcome to Scala version 2.9.0.r24168-b20110202012927 (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_22). 
Type in expressions to have them evaluated. 
Type :help for more information. 

scala> def foo[T <% Ordered[T]](s : Seq[T]) = s.sorted 
foo: [T](s: Seq[T])(implicit evidence$1: (T) => Ordered[T])Seq[T] 

scala> 

ところで、 "ここでは簡単に思える" 再、そうではありませんでした。このようなインプリチットは発散的で、彼らはかなり決定されています。