an older article i wrote but one i'm revisiting right now on a project about thinking of business processes as types rather than code paths - https://deathbykeystroke.com/articles/20220517-business-processes-as-types-lets-explore.html