# Functions
Functor composition law
F.map(fa, a => bc(ab(a))) <-> F.map(F.map(fa, ab), bc)
Deprecated: use [FunctorAssertComposition] instead.
Functor identity law
F.map(fa, a => a) <-> fa
Deprecated: use [FunctorAssertIdentity].
AssertLaws asserts the functor laws `identity` and `composition`
Deprecated: use [FunctorAssertLaws] instead.
Functor composition law
F.map(fa, a => bc(ab(a))) <-> F.map(F.map(fa, ab), bc).
Functor identity law
F.map(fa, a => a) <-> fa.
FunctorAssertLaws asserts the functor laws `identity` and `composition`.