modify

abstract fun modify(source: S, map: (focus: A) -> B): T

Modify polymorphically the focus of a PTraversal with a function map.