Can someone explain (in simple terms) what is meant by existential and universal types.

Preferably illustrating it in terms of logic rather than lambda calculus.

There’s plenty of stuff out there on it….but most of it seems double dutch (no offense to the dutch intended).