Type annotations and runtime checking for shape and dtype | Hacker News Reader