max-int-monoid 69 Bytes