名前のついた実装 - なぜ@ {myOrd}はパラメータの前に置かれますか？

Question

次のコードでは、なぜ@{myOrd}がパラメータの前に配置され、後に配置されませんか？

[myOrd] Ord Nat where 
    compare Z (s n) = GT 
    compare (S n) Z = LT 
    compare (z z = EQ 
    compare (S x) (S y) = compare @{myOrd} x y 

利点と欠点は何ですか？

Answer 1

compareのタイプはOrd a => a -> a -> Orderingなので、Ord aの実装の選択が最初の引数として渡されます。

compare x yはxとyのタイプに基づいて暗黙Ord Nat引数に充填することにより、名前Ord Nat実装を使用するための構文です。