How about a map of options where some of them are mutually exclusive? Without union types you have to write test for that.