# Functions
Chain associativity law
F.chain(F.chain(fa, afb), bfc) <-> F.chain(fa, a => F.chain(afb(a), bfc))
Deprecated: use [ChainAssertAssociativity] instead.
AssertLaws asserts the apply laws `identity`, `composition`, `associative composition` and `associativity`
Deprecated: use [ChainAssertLaws] instead.
Chain associativity law
F.chain(F.chain(fa, afb), bfc) <-> F.chain(fa, a => F.chain(afb(a), bfc)).
ChainAssertLaws asserts the apply laws `identity`, `composition`, `associative composition` and `associativity`.