A variant says "I am exactly one of these types, and you must handle every possibility." The compiler enforces it.
A blog engine that just works. One binary, no setup, no dependencies.
A variant says "I am exactly one of these types, and you must handle every possibility." The compiler enforces it.