SOLID in FP: Interface Segregation and Dependency Inversion, or The Finale Where Functions Steal the Show

Last time, I said Interface Segregation was up next — “another principle that sounds very OOP, in a language with neither interfaces nor classes.” I was gearing up for another round of reframing, maybe some clever type-level trick like the opaque types in the LSP post.