AssertLaws asserts the apply laws `identity`, `composition`, `associative composition`, 'applicative identity', 'homomorphism', 'interchange', `associativity`, `left identity`, `right identity` Deprecated: use [MonadAssertLaws] instead.

Apply monad left identity law M.chain(M.of(a), f) <-> f(a) Deprecated: use [MonadAssertLeftIdentity] instead.

Apply monad right identity law M.chain(fa, M.of) <-> fa Deprecated: use [MonadAssertRightIdentity] instead.

MonadAssertLaws asserts the apply laws `identity`, `composition`, `associative composition`, 'applicative identity', 'homomorphism', 'interchange', `associativity`, `left identity`, `right identity`.

Apply monad left identity law M.chain(M.of(a), f) <-> f(a).

Apply monad right identity law M.chain(fa, M.of) <-> fa.