[dontlaugh]

You're right about the difference, but I very much doubt the term "specification" as you use it is common.

It's just a different approach to dealing with the expression problem using sum types.