Haskell98 invariant functors (also known as exponential functors).

Homepage:
http://hackage.haskell.org/package/invariant
