arrow-core / arrow.core.extensions.const.contravariant
fun <A, B> ~~lift~~(arg0: (A) -> B): (Kind<Kind<ForConst, A>, B>) -> Kind<Kind<ForConst, A>, A>
Do you like Arrow?