scheme - Bigloo 方案中高阶函数的静态签名

Question

有谁知道如何在 Bigloo 方案语言的模块导出部分中为高阶函数创建静态签名？

这是我走了多远

(module test
  (export (adder ::double)))

(define (adder x)
  (lambda (y)
    (set! x (+ x y))
    x))

以下将起作用，但我想将所有类型数据保留在模块声明中

(module test
  (export (adder ::double)))

(define (adder x)
  (lambda (y::double)::double
    (set! x (+ x y))
    x))