Hacker News new | ask | show | jobs
by dualogy 3104 days ago
Those are essentially ADTs --- not "type-classes" in the ML/Haskell/etc sense at all.