A let and do binding