I think we can use Parameter and struct to define mutable types that support contravariance. See A new way to type mutable data structures with opposite variance in typed racket.
1 Like
I think we can use Parameter and struct to define mutable types that support contravariance. See A new way to type mutable data structures with opposite variance in typed racket.