id

fun <S> id(): Iso<S, S>