Using type-classes to model the expressivity of build systems | Hacker News Reader