We don't need implicit lambda-eff :-) Deleting it will make the story
more coherent.