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.