このspecializeは

2:40 AM

どのwhereが該当するか決まった上で

2:41 AM

substituteされた実際のconcrete typeのバージョンがオーバーロードとして生成される話だから (edited)

2:41 AM

where Element : Comparable のセクションをコンパイルしている時点では

2:41 AM

Element == Float へのディスパッチは考慮されないと思う

2:42 AM

specialize過程での改めてのwhere選択はされないんじゃないかなあ