Hacker News new | ask | show | jobs
by cultus 2555 days ago
Existential types are types of values.