Library CT.Instance.NaturalTransformation
Require Export CT.Instance.NaturalTransformation.Composition.
Require Export CT.Instance.NaturalTransformation.HCNaturalTransformation.
Require Export CT.Instance.NaturalTransformation.IdentityNaturalTransformation.
Require Export CT.Instance.NaturalTransformation.NaturalIsomorphism.
Require Export CT.Instance.NaturalTransformation.VCNaturalTransformation.
Require Export CT.Instance.NaturalTransformation.HCNaturalTransformation.
Require Export CT.Instance.NaturalTransformation.IdentityNaturalTransformation.
Require Export CT.Instance.NaturalTransformation.NaturalIsomorphism.
Require Export CT.Instance.NaturalTransformation.VCNaturalTransformation.