diff --git a/compiler/forget/src/HIR/HIR.ts b/compiler/forget/src/HIR/HIR.ts
index ea3953fab6..4264e59128 100644
--- a/compiler/forget/src/HIR/HIR.ts
+++ b/compiler/forget/src/HIR/HIR.ts
@@ -467,7 +467,7 @@ export type PolyType = {
 };
 
 let typeCounter = 0;
-export function makeType(): Type {
+export function makeType(): TypeVar {
   return {
     kind: "Type",
     name: `t${typeCounter++}`, //TODO(gsn): Use a TypeID here