Subtypes and status-dependent data: pure relational approach | Hacker News Reader