Hacker News new | ask | show | jobs
by littleroot 1542 days ago
Feels like type refinement via pattern matching on GADTs is more expressive than this