This is what good sum types are for, and have the added benefit of not just testing what the an output is after the fact, but can tell you as you’re writing the

This is what good sum types are for, and have the added benefit of not just testing what the an output is after the fact, but can tell you as you’re writing the thing what the output must be, making refactoring far faster than waiting on a test suite to fail.