Use an empty list for mzero.