Published onAugust 8, 2023Anti-Instances in HaskellhaskelltypeclassesalgebraPrevent bad typeclass instances using good type errors.
Published onJuly 6, 2023Fearless Tinkering is FunctionalfunctionalcomplexityalgebradeclarativeA fearless tinkerer sails a ship where entire classes of leakage are rendered an impossibility.