arrow-core / arrow.core.extensions.const.contravariant / arrow.Kind / contramap
contramap
@JvmName("contramap") fun <A, B> Kind<Kind<ForConst, A>, A>.~~contramap~~(arg1: (B) -> A): Const<A, B>
Deprecated: @extension kinded projected functions are deprecated