F# Domain Model Validation with Active Patterns