Algebraic Data Types in TS: Indestructible Payment Flows

Your payment flow has a status: string field? You're one typo away from a double charge. A silent...