scalaz
Supposing we have the guarantees of consistency between scalaz.Applicative and scalaz.PlusEmpty for F, the scalaz.MonadPlus laws should hold.
F