Why don't exhaustive matches, unions, and data modelling not get mentioned more often? That's where the true strength lies.