An either-or-both data type
