Supermonads package changelog

0.2

• Introduced super-applicatives through the Applicative class. This is a natural broadening of our approach.
• Renamed the constrained CFunctor to Functor so it can act as a drop in replacement for the standard functor type class.
• Introduced support for superarrows through the ArrowArr, ArrowSequence, ArrowSelect and ArrowCombine type classes.
  • Added ebba examples that uses superarrows.
• Restructure modules to put common plugin code into a module that is not associated with supermonad or superarrows specifically. The old modules are still provided so that people coming from the paper can still rely on those instructions.
• Fixed effect monad examples by using the new version of the effect-monad package that supports GHC 8+.
• Generalized and fixed issue with the constrained WrappedMonad instances.

0.1

• Initial release.