com.twitter.scalding.serialization.macros.impl.ordered_serialization
There is a Monoid on MaybeLength, with ConstLen(0) being the zero.