ContravariantなApplicativeです。scalaz.Divideを継承します。 Haskellだとekmett/contravariantに対応するものがあります。
scalaz.Divide