<div dir='auto'>Hello,<div dir="auto">could someone please explain the advantages of using existential types (some) in predicates  as opposed to universal types?</div><div dir="auto">Many thanks.</div><div dir="auto">Best regards, </div><div dir="auto">Philippe</div></div>