fix-types
main
`Promise` is now a type constructor related to https://github.com/racket/typed-racket/pull/1143