Cadence Ember

Since Racket 8.1, some nested lists pass type-checking even when they are invalid

1

### What version of Racket are you using? 8.13 [bc]. The issue also occurs in 8.13 [cs] and 8.1 [bc]. **This issue does not occur in 8.0 [bc].** ### What...