@jaror @BoydStephenSmithJr Understandable… I’ve thought default rules made that possible.

Anyway, I didn’t encounter much problems with type classes while teaching Haskell, not even as a first language. May all of my students were okay with some suspense 😅

@jaror @BoydStephenSmithJr Type classes have been in Haskell since forever. There’s no Haskell “level” that would avoid them while being a level of Haskell instead of some vague/generic “functional programming”.
If you want to teach Haskell - you teach Haskell, with its staples like type classes and laziness.

@AlmightySnoo Thanks WSJ for rubbing in yet another cliche.

“The teens are running low on conformity pressure, let it be known then that it is fashionable to hate on the green.”