3 ms·Those are essentially ADTs --- not "type-classes" in the ML/Haskell/etc sense at all.by dualogy 9y agoThose are essentially ADTs --- not "type-classes" in the ML/Haskell/etc sense at all.