What I am exploring
This thread uses F# to think about logistics workflows, state transitions, and how types can make invalid situations harder to represent.
The related note contains the current working example and contrasts this approach with familiar C# patterns.