fact: Definition compose_functor : object ((C -> D) -> ((D -> E) -> (C -> E))).
imports: Category.Core Functor.Core NaturalTransformation.Core Functor.Composition.Core NaturalTransformation.Composition.Core Category.Prod FunctorCategory.Core NaturalTransformation.Composition.Functorial NaturalTransformation.Composition.Laws ExponentialLaws.Law4.Functors NaturalTransformation.Paths