you cannot have existentials in lambdas

You mean existential types as in Scala? Can you point towards some documentation about these restrictions?

I know from usage, I don’t think I’ve seen an explicit doc pointing it out