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