~ / track H

Imperative-to-functional refactoring, functional core/imperative shell, railway-oriented programming, illegal states, the expression problem.