no longer need this
more generic typed_call (replacing unary_call and binary_call)