Hacker News new | ask | show | jobs
by smabie 2112 days ago
Subtyping, of course.