Hacker News new | ask | show | jobs
by cultus 2565 days ago
Existential types are types of values. There is no distinction.