在无类型的球拍中构造自定义的定义类型？

Question

我在使用#lang typed / racket的源文件中有一个定义类型的Foo。

我该如何在#lang球拍源中构造这种类型？

例如：

#lang racket/base
(require "types.rkt")
(define (bar) 
 (Foo)) ; Where Foo is a defined type provided by "types.rkt".