ty for this history! I write haskell at work but with an honestly middling understanding of the category theory that goes into what typeclasses are supersets of

ty for this history! I write haskell at work but with an honestly middling understanding of the category theory that goes into what typeclasses are supersets of other typeclasses. Mostly because we use an overly verbose version of Prelude. So it's wild to me that these mathy bits were not always set in stone!