Many thanks, I've opened acos unsound in TR · Issue #1423 · racket/typed-racket · GitHub to help keep track of this.