Filmed at https://2019.dotjs.io on December 5-6, 2019 in Paris. More talks on https://dotconferences.com/talks When developing applications with states which require some effort to make them consistent, we can either accept that and write many unit tests to make sure things are consistent, or we can model domains in a better way, leveraging the type system to eliminate as many inconsistencies as possible.