Benannte Implementierungen - Warum wird @ {myOrd} vor Parametern platziert?

Question

Im folgenden Code, warum ist der @{myOrd} vor seinen Parametern platziert und nicht nach?

[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 

Was sind die Vor- und Nachteile?

Answer 1

compare 's Typ ist Ord a => a -> a -> Ordering, so wird die Wahl der Ord a Implementierung als das erste Argument übergeben.

compare x y ist Syntax für die unnamed Ord Nat Implementierung unter Verwendung von in der impliziten Ord Nat Argument Füllung basiert auf x und y ‚s-Typ.