Hey, it's a perfectly good [semigroup](https://en.wikipedia.org/wiki/Semigroup). :) Sometimes there are useful semigroups that aren't quite monoids, like yours (which I'm inclined to call Const) and [First](https://hackage.haskell.org/package/semigroups-0.18.1/docs/Data-Semigroup.html#t:First), where \$$x \otimes y = x\$$.