It's common enough to want to unlift `A` and `B` in a `Lens<S,T,Maybe<A>, Maybe<B>` given a default `A` that this should just be a composed operation.