naive implementation of existential member and call expressions