and

DecodeErrorMonoid