(module type-lost-simple ()
  (import 
    scheme 
    chicken.base
    chicken.type)

  (: my-add (fixnum fixnum --> float))
  (define my-add (lambda (a b)
    (+ a b)))
  
  (define-type mixed-type (or fixnum float))
  
  (: my-add-2 (fixnum mixed-type --> mixed-type))
  (define my-add-2 (lambda (a b)
    (+ a b)))
  
  (: some-val-nw-1 fixnum)
  (define some-val-nw-1 (+ 1 0.3))
  
  (: some-val-nw-2 fixnum)
  (define some-val-nw-2 (my-add-2 1 0.3))
  
  (: some-val-w-1 fixnum)
  (define some-val-w-1 (my-add 0 1)))