codiagonal

fun <S> codiagonal(): Lens<<ERROR CLASS><S, S>, S>

PLens that takes either S or S and strips the choice of S.