Binary Sex Definitions Binary Sex (BinarySex) Type: Union Cases: BinarySex'0 | BinarySex'1 BinarySex'0 Constant: "Male" BinarySex'1 Constant: "Female"