4.1

• Support for GHC 7.7+'s generalized Typeable.
• Faster gapo and para by exploiting sharing.

4.0

• Compatibility with comonad and free version 4.0

3.0

• Compatibility with transformers 0.3
• Resolved deprecation warnings caused by changes to Data.Typeable