Pattern matching and discriminated unions make code for structuring and destructuring complicated data really clean and pleasant to work with. Compiler implementation is the obvious application, but in a "businessy" setting, I sure wish that some of the EDI code I work with periodically was in F# instead of C#.