Enforce same argument in typescript

derp.ts

function requireSameArgType<A>(a: A, b: A) {
  return null;
}
function main() {
  requireSameArgType(1, 2);
  requireSameArgType('string', 'still a string');
  requireSameArgType(1, 'string');
}

function requireSameObjShape<T, K extends T>(a: T, b: K) {
  return null;
}

function main2() {
  requireSameObjShape({ foo: 1, bar: 2 }, { foo: 2, bar: 4 });
  
  // throws type error because arguments are different shape:
  requireSameObjShape({ foo: 1, bar: 2 }, { foo: 2 });
  requireSameObjShape({ foo: 1, bar: 2 }, { foo: 2, shabadoo: 4 });
  requireSameObjShape({ foo: 1, bar: 2, shabadoo: 4 }, { foo: 2, shabadoo: 4 });
  
  requireSameObjShape(
    {
      foo: 1,
      bar: 2,
      deeper: {
        a: 'a',
        b: 'b',
      },
    },
    {
      foo: 2,
      bar: 4,
      deeper: {
        a: 'a',
        b: 4,
      },
    }
  );
}