The best way to work with DUs is pattern matching. Using the previously-defined type definitions, we can model withdrawing money from an account: