Why not use structural subtyping? | Hacker News Reader