Comment by UncleMeat

The Option type isn’t really something owned by functional programming. Union types exist just fine in imperative and even declarative programming.