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 e

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.