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