Hacker News new | ask | show | jobs
by slantedview 190 days ago
The recursive type constraints are excellent.