Remove unnecessary arguments for directly applied lambdas (other than the first)

We currently simplify

```elm
(\_ y z -> x) a b c
--> (\y z -> x) b c
```

but we don't apply the same idea to the other arguments (only the first). We should also simplify:

```elm
(\y _ z -> x) a b c
--> (\y z -> x) a c

(\y _ -> x) a <| c
--> (\y -> x) a
```

**I am looking for:**

- Someone to implement it with/for me
