you cannot have existentials in lambdas

# functional

[pakoito]

you cannot have existentials in lambdas

[breandan]

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

[pakoito]

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