Exists2

Add existential type to support function composition