Hi stmtpart1 { exp } stmtpart2 should desugar to x <- exp stmtpart1 x stmtpart2 it's not very complicated and i don't see why it shouldn't be done in the let case but i don't care. monadic bind would be enough for me. silvio