[%] 이건 어떻게 desugar됨?

[기괴공학도(mecheng98)]

loop xs [] = null xs

loop (x : xs) (y : ys) = x < y || loop xs ys

이렇게 됨?

loop a1 a2 = case a2 of

___ [] → null a1

___ (a3 : a4) → case a1 of

___ ___ (a5 : a6) → a5 < a3 || loop a6 a4

- dc official App