Converted to typed/racket