typed racket parameters

a-typed.rkt

#lang typed/racket
(provide param)

(: param (Parameterof Integer))
(define param (make-parameter 3))

a.rkt

#lang racket
(provide param)

(define param (make-parameter 3))

b-untyped.rkt

#lang racket
(require "a-typed.rkt")
(provide param2)

(define param2 param)

; in toplevel:
; (require "a-typed.rkt" "b-untyped.rkt")
; (parameter-procedure=? param param2) => #f

b.rkt

#lang racket
(require "a.rkt")
(provide param2)

(define param2 param)

; in toplevel:
; (require "a.rkt" "b.rkt")
; (parameter-procedure=? param param2) => #t