or

DecodeErrorMonoid