Use #lang typed/racket/base