Existential type allows type ascription of parameter values in transaction in situations that types of parameter values are necessary when inference is not possible.

Potential use case would be Ticket transfers among implicit account.