Coercing existing types for internal DSL in F#

Question

Given a DU for an AST (a very simple expression tree)

type Expression =
  | Add of list
  | Var of string
  | Val of float