Hacker News new | ask | show | jobs
by mejutoco 779 days ago
You can use branded types for the first case.