Статическая подпись для функции высшего порядка в схеме 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))