命名实现 - 为什么@ {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是使用未命名Ord Nat实现中，通过在基于x和y的类型的隐含Ord Nat参数填充语法。