Applying the rules on the wiki, the first step is to translate the first expression into a tuple binding, omitting the implicit ~:

Not so!  I changed it a few days ago after talking to Ben, to a simpler form that works nicely for recursive bindings too.  Darn – I forgot to change the rules at the bottom.

Anyway, read the section “Let and where bindings”. Sorry about the rules at the end.

Simon