invariant (hackage): Haskell98 invariant functors (also known as exponential functors).  For more information, see Edward Kmett's article "Rotten Bananas":  http://comonad.com/reader/2008/rotten-bananas/
Keywords: bsd2|control|data|library