It looks like you have discovered the power of coproducts a.k.a sum types (its a shame they are still called enums in anything other than the purest functional language)