Is there a lens for `Max`? PResumably this could become just `over (inEnvelope . mapped . mapped . maxLens) t` or something like that.