> narrowing a type through as is a common and useful operation

We banned all type assertions long time ago, and switched to type guards. I highly recommend this approach.