Hacker News new | ask | show | jobs
by dbpatterson 3042 days ago
Pattern matching on GADTs will get you there, I believe.
1 comments
wz1000 3041 days ago
Its been improved a lot- https://lirias.kuleuven.be/bitstream/123456789/512439/1/icfp...
link