Computation of effects 'let and'