Static Confirmation of Cyclic Types in Haskell | Hacker News Reader