[bmoxb]

You might be interested in taking a look at OCaml's extensible sum types which may straddle the line in the way you're describing.