Racket 球拍：需要一对类型的功能

我正在用plai类型的语言编写一个程序，但是我想使用函数“car”和“cdr”

 (require (typed-in racket
               (car : (pair -> any/c))
               (cdr : (pair -> any/c))))

然而，它给了我一个错误对：坏类型

为什么会这样？我应该填写什么“类型”而不是“对”，因为在文档中，两个函数的输入都是一对

我试着输入“Pair”“Pair”“Pairs”“Pairs”，但是没有一个有效的

我想你想要

（…*…）

然后：

中列出了有效的类型<代码>任何/c或

对

无效

还要注意的是，

plai-typed

中有

pair

，

fst

，

snd

(require (typed-in racket
                   (car : (('a * 'b) -> 'a))
                   (cdr : (('a * 'b) -> 'b))
                   (cons : ('a 'b -> ('a * 'b)))))

> (cons 1 2)
- (number * number)
'(1 . 2)
> (car (cons 1 2))
- number
1