Programming & Proving by Jan van Brügge

@haskell_discussions cannot follow this at all. I've already been warned off DeriveAnyClass. I didn't think I was using DefaultSignatures either, but the tone of the article suggests I should stop. It claims I can get multiple implementations per datatype, but I don't want to have to choose a second one tbh.