Migrating from using input/output tuples for calls to using the call's type.