covariantComposition

FunctorKLaws

covariantIdentity

FunctorKLaws