The “Requirement Machine”, a new generics implementation based on term rewriting | Hacker News Reader