option coproduct_allow_type_collisions_unsafe

Default: false
The generators and labelled nulls of instances participating in a coproduct are required to be unique. This option disables the uniqueness check. It is marked unsafe because it can result in an instance that is not a coproduct, but is rather a coproduct followed by a quotient.

Keyword:


Appears in: