Hacker News Reader

Yup! Type assertions work this way too. It's a much nicer design than traditional casts.

Check this out. With this tool, the type switch gets you exhaustiveness checks for hokey package-private sum-types in Go :)