λ(… : { …
        })
→ … with …+ .c.d
         = - 2
           + 3