effects4s.laws.discipline
Tests that have to be passed by effects4s.Deferrable, assuming that the F[_] data-type is also a Monad.
F[_]
Monad
Tests that have to be passed by effects4s.Deferrable, assuming that the
F[_]
data-type is also aMonad
.