0. #lang typed/racket
1.  
2. (require racket/set)
3.  
4. ;; Simple case.  Can't get to work.
5. (: test ((Setof Integer) -> (Setof Integer)))
6. (define (test ss)
7.   (let ([ss1 (for/set ([s ss]) s)])
8.     ss1))
9.  
10. ;; Ultimate goal
11. (: set-filter (All (a) (Setof a) (a -> Boolean) -> (Setof a)))
12. (define (set-filter ss f)
13.   (let ([ss1 (for/seteq ([s ss] #:when (f s)) s)])
14.     (set-subtract ss ss1)))

=>

eval:3:0: Type Checker: missing type for identifier;

consider using `require/typed' to import it

identifier: immutable-custom-set

from module: private/set-types.rkt

in: ss1

eval:5:0: Type Checker: missing type for identifier;

consider using `require/typed' to import it

identifier: immutable-custom-set

from module: private/set-types.rkt

in: ss1