F# to T-SQL.  Domain invariant preservation and remote command execution