classMonadLaws[Context[_], A, B, C] extends ApplicativeLaws[Context, A, B, C]
Represents the laws that should hold true for an algebraic structure (a Monad) which
contains a "flatMap" operation and obeys the laws of associativity, right identity,
and left identity.
Represents the laws that should hold true for an algebraic structure (a Monad) which contains a "flatMap" operation and obeys the laws of associativity, right identity, and left identity.