F# to T-SQL.  Remote command execution and domain invariant enforcement