discriminated union as props - Theo's Typesafe Cult