function

val function: DSRing<T, A>.() -> DS<T, A>