Typed Nonsense - Derived Effects | A minor blog exploring the ideas of type systems, effect systems, and logics. Most software just works, but let’s see why with types.