Hacker News new | ask | show | jobs
by lang_agnostic 787 days ago
Isn't this just phantom types in other programming languages?
1 comments
valcron1000 787 days ago
More like `newtype` with implicit `coerce`
link