Why not "Make types explicit/implicit **in lambda**"? I believe I asked this the first time