type checked function call expressions