Mutually exlusive keys Packages

Compose custom types containing mutually exclusive keys, using this generic Typescript helper type.