unison/unison-src/transcripts/fix3171.md

```ucm:hide
scratch/main> builtins.merge
```

Tests an case where decompiling could cause function arguments to occur in the
opposite order for partially applied functions.

```unison
f : Nat -> Nat -> Nat -> () -> Nat
f x y z _ = x + y * z

> f 1 2
> f 1 2 3
```