[racket] Typed racket -> huge executable size

Hi there,
I have this minimal example:

#lang typed/racket/base

(: hello : String -> Void)
(define (hello f)
  (displayln f))

(hello "world")


raco exe mytest.rkt

gives an executable with size 12887089.


This doesn't seem to be ok.


-- 
Manfred