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