如何指定一个可以接受任何类型的函数，在typed / racket中排除一种类型？

Question

我的意思是，就像注释一个函数一样 (: function (-> (Not String) String)) 我知道这不起作用，有没有办法实现它？