Comment by avalys
Maybe it’s confusing because it’s misnamed?
Maybe it’s confusing because it’s misnamed?
This is like saying the non-negative integers under addition, lists under append, and strings under concatenation are all just misnamings of the semigroup operator.
https://hackage.haskell.org/package/base-4.21.0.0/docs/Data-...
Is it? Two things are equal exactly when they aren’t exclusive.