Correction bug lambda ... let ... in ...