arrow-core / arrow.core.extensions / AndThenContravariant / contramap
open fun <A, B> Kind<Conested<ForAndThen, O>, A>.contramap(f: (B) -> A): Kind<Conested<ForAndThen, O>, B>
Do you like Arrow?