Hacker News new | ask | show | jobs
by toolslive 2778 days ago
Yes, uniquenes types for IO (with proper syntactic sugar) really felt powerful, elegant and correct all at the same time.