0.1.1

• Define Invariant type class
• Functors composition is just a type synonymous
• Control.Functor.Composition -> Control.Functor

0.1.2

• Define Adjoint type class
• Control.Functor -> Control.Functor.Composition
• Move all composition-based classes into Composition module
• Define laws for all classes, except Pointable, Exclusive and Extractable

0.1.3

• Define I, II and III to able make instances
• Add Identity and Constant cases of functors
• Weaken Adjoint type class requirements
• Move all newtype wrappers to Basic module

0.1.4

• Add Kleisli and Cokleisli methods to Bindable and Extendable classes
• Create supermodule Control.Functor that exports everything from this library
• Remove Composition folder from classes modules
• Move Basic functors to Data.Functor module

0.1.5

• Control.Functor.Composition -> Control.Variance
• Define Yoneda lemma as datatype
• Define Liftable and Lowerable classes
• Control.Transformation.Natural -> Data.Functor.Transformation.Natural
• Sort modules in Control by variance, on composition and transformations