contravariant applicative composition