A fully-inferable, testable effect system for Scala | Hacker News Reader