У меня есть определенный тип Foo в исходном файле с использованием #lang typed / racket.
Как бы я сконструировал этот тип в источнике ракетки #lang?
Например:
#lang racket/base
(require "types.rkt")
(define (bar)
(Foo)) ; Where Foo is a defined type provided by "types.rkt".