I tried to use Typed Racket and it runs locally fine for me (Racket 8.14) but tests are failing online, e.g. for Eliud's Eggs in Racket on Exercism I get
standard-module-name-resolver: collection not found
for module path: typed/racket/lang/reader
collection: "typed/racket/lang"
in collection directories:
collects
/usr/share/racket/collects/
... [9 additional linked and package directories]
context...:
pkgs/compiler-lib/compiler/commands/test.rkt:428:27
pkgs/compiler-lib/compiler/commands/test.rkt:430:0: call-with-summary
.../private/map.rkt:40:19: loop
pkgs/compiler-lib/compiler/commands/test.rkt:1165:1: test
body of "pkgs/compiler-lib/compiler/commands/test.rkt"
/usr/share/racket/collects/raco/raco.rkt:41:0
body of "/usr/share/racket/collects/raco/raco.rkt"
body of "/usr/share/racket/collects/raco/main.rkt"