#lang typed/racket
(require typed/racket/async-channel)

(make-predicate VectorTop)
(make-predicate BoxTop)
(make-predicate ChannelTop)
(make-predicate Async-ChannelTop)
(make-predicate HashTableTop)
(make-predicate MPairTop)
(make-predicate Thread-CellTop)
(make-predicate Prompt-TagTop)
(make-predicate Continuation-Mark-KeyTop)
(make-predicate ClassTop)