diff --git a/racket/typed/prim.rkt b/racket/typed/prim.rkt
index 71b1465..ed99767 100644
--- a/racket/typed/prim.rkt
+++ b/racket/typed/prim.rkt
@@ -32,6 +32,7 @@
 (define-primop zero? (→fn Int Bool))
 (define-primop positive? (→fn Int Bool))
 (define-primop negative? (→fn Int Bool))
+(define-primop current-inexact-milliseconds (→fn Int))
 
 (define-primop bytes->string/utf-8 (→ ByteString (Computation (Value String) (Endpoints) (Roles) (Spawns))))
 (define-primop string->bytes/utf-8 (→ String (Computation (Value ByteString) (Endpoints) (Roles) (Spawns))))
diff --git a/racket/typed/set.rkt b/racket/typed/set.rkt
index 8ea633f..9863eaa 100644
--- a/racket/typed/set.rkt
+++ b/racket/typed/set.rkt
@@ -19,7 +19,7 @@
 
 (require "core-types.rkt")
 (require (only-in "prim.rkt" Int Bool))
-(require (only-in "list.rkt" ~List))
+(require (only-in "list.rkt" ~List List))
 
 (require (postfix-in - racket/set))