IgnoreLeftXorTypeMonoid
xor
IgnoredLeftOrMonoid
or