Contravariant, Inc.

F[A] -> (B -> A) -> F[B]