Implementation with existential type

Signed-off-by: mat tso <mat-tso@topmail.ie>