F# - Branded3