Skip to content

Add *1 instances (SymEq1, etc.) for Union, add all (incoherent) conversions from/to (Identity a)/a #876

Add *1 instances (SymEq1, etc.) for Union, add all (incoherent) conversions from/to (Identity a)/a

Add *1 instances (SymEq1, etc.) for Union, add all (incoherent) conversions from/to (Identity a)/a #876