Bigloo Scheme中高阶函数的静态签名

Question

有人知道如何在Bigloo Scheme语言的模块导出部分为更高阶函数创建静态签名吗？

这是我有多远

(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))