The Future of Typelevel Scala | Hacker News Reader