# Functions
Apply associative composition law
F.ap(F.ap(F.map(fbc, bc => ab => a => bc(ab(a))), fab), fa) <-> F.ap(fbc, F.ap(fab, fa)).
ApplyAssertLaws asserts the apply laws `identity`, `composition` and `associative composition`.
Apply associative composition law
F.ap(F.ap(F.map(fbc, bc => ab => a => bc(ab(a))), fab), fa) <-> F.ap(fbc, F.ap(fab, fa))
Deprecated: use [ApplyAssertAssociativeComposition] instead.
AssertLaws asserts the apply laws `identity`, `composition` and `associative composition`
Deprecated: use [ApplyAssertLaws] instead.