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