effects4s.laws.discipline
Tests that have to be passed by effects4s.Eventual, assuming that the F[_] data-type is also an Applicative.
F[_]
Applicative