codiagonal

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