Update maybe_cons.lhs