Hacker News new | ask | show | jobs
by throwaway81523 1544 days ago
Is this something like GADT's?
1 comments
littleroot 1544 days ago
Feels like type refinement via pattern matching on GADTs is more expressive than this
link