lift

open fun lift(map: (focus: A) -> B): (source: S) -> T(source)

Lift a function map: (A) -> B to the context of S: (S) -> T`