Type Construction and Cycle Detection | Hacker News Reader