@capfredf @sorawee
Thanks for the quick response and explanataions.
However, I want to apologize for the bad example that did not illustrate the issue I would like to raise and seek help on.
Which is to redefine definitions in typed racket, but perhaps this next snippet could do the job better, i.e.I would like to know how I can have something similar to this happen:
(: a (-> Number Number))
(define (a x) (1 + x))
(: a (-> Symbol Symbol))
(define (a x) x)
Many thanks again, in advance.